結局それがなんなのかよくわからず。
morphism そのまんま射と訳される。ポリモーフィズムとはあんまり関係ない。
東大 理学部情報科学科/大学院情報理工学系研究科|情報科学科NAVIgation
あるモノについて調べるとき、そのモノの「成り立ち」を考えるのではなく、そのモノと他のモノの間の「作用」や「関係性」を考える
というのが圏論の考え方で、モノが対象、作用や関係性が「射」って言われているらしい。
結局それがなんなのかよくわからず。
morphism そのまんま射と訳される。ポリモーフィズムとはあんまり関係ない。
東大 理学部情報科学科/大学院情報理工学系研究科|情報科学科NAVIgation
あるモノについて調べるとき、そのモノの「成り立ち」を考えるのではなく、そのモノと他のモノの間の「作用」や「関係性」を考える
というのが圏論の考え方で、モノが対象、作用や関係性が「射」って言われているらしい。
Prelude> [1,2,3] [1,2,3] Prelude> id [1,2,3] [1,2,3] Prelude> id 3 3 Prelude> :t id id :: a -> a
何かの型の値を受け取り、その値をそのまま返す
という関数。そのまま。
これだけだとなんだかよくわからないけど、ファンクター則でなんか出てくる
fmap id を適用した結果は id を適用した結果と等しい