Avatar
関数を射とした圏のときの話ですか?それとも一般的な射についてですか?
5:58 AM
前者であれば↓のようになるんじゃないかと考えています。 func f(_ foo: Foo) -> Bar { ... } func g(_ bar: Bar) -> Baz { ... } { g(f($0)) } // g◦f (edited)