関数型プログラミング言語Haskell Part21
■ このスレッドは過去ログ倉庫に格納されています
0226デフォルトの名無しさん
2013/02/20(水) 13:24:49.73instance Functor Set where
fmap = Set.map
とすれば型エラーになるはず
↓こんな風に
http://codepad.org/ynVAbAoF
fmapは(a->b)->Set a->Set bの関数を要求するけど、これにaとbがOrdであることを付け足すことが文法上無理って話じゃないの?
■ このスレッドは過去ログ倉庫に格納されています