07/07/30 22:58:45
>>544
>「型の」コンストラクタ(type constructor)という解釈でおｋ？
おｋ。
>でも、Functorの要素として入れるべきものなのか･･･。
Seq.mapだけだとFunctorにならないんだわ。
射だけじゃなくて対象も写さないと。
07/07/30 22:58:45
>>544
>「型の」コンストラクタ(type constructor)という解釈でおｋ？
おｋ。
>でも、Functorの要素として入れるべきものなのか･･･。
Seq.mapだけだとFunctorにならないんだわ。
射だけじゃなくて対象も写さないと。