関数型プログラミング言語Haskell Part29 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0711デフォルトの名無しさん
2015/11/18(水) 18:32:33.28ID:yhwFYSiS重要な理由の一つを挙げただけの人にどうして
「モナドを導入する意図のうち重要なものをすべて挙げることができる?」
と聞くのかさっぱりわからん。
というか「信じるかどうか」気にする前に君が読むべき論文は
Wadler Monad
でググれば一発目に出てくると思うんだが。あとはその論文でも
引用されてる Moggi 1989 とか。 Moggi 1989 はアイデアの宝庫だよ。
状態や継続が「モナドで表現した計算効果」とみなせることは
Moggiのアイデアだよ。
■ このスレッドは過去ログ倉庫に格納されています