- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
327 ：デフォルトの名無しさん[sage]：2015/05/20(水) 16:10:01.72 ID:2N8UJ/7p - ラムダ計算で作れるデータ構造は大体 (->) で出来ている
(->) で作れる型はあれもこれもモナドだったから大半の型はモナドになる
モナドクラスは表向きは個々のインスタンスに依存しないふりをしているが
本当は (->) の力が無ければ何も出来ない
| - 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
331 ：デフォルトの名無しさん[sage]：2015/05/20(水) 22:24:23.25 ID:2N8UJ/7p - newtype Foo a b = Foo (a -> b)
newtype Bar a b = Bar ((b -> a) -> a)
の二つが基本
他に類似品みたいなのがいっぱいあってみんなモナド
b -> (c -> a) -> a
b -> (b -> c -> a) -> a
(b -> a) -> (c -> a) -> a
|
|