関数型プログラミング言語Haskell Part20
■ このスレッドは過去ログ倉庫に格納されています
0278デフォルトの名無しさん
2012/11/05(月) 20:39:30.80HaskellのFunctorクラスのインスタンスはある種の(圏論的な意味の)関手(の対象部分)になってる
具体的にはHask圏からHask圏への関手
逆に、ある型構築子が(圏論的な意味の)関手になっていてもFunctorのインスタンスとは限らない
たとえば>>258のunboxed vectorがそう
■ このスレッドは過去ログ倉庫に格納されています