Monadについて - NoisySpot/メモ帳

勉強中。あとでまとめる。

オブジェクト指向・手続き型脳味噌で理解したモナド(の概念の一部)

モナドは、副作用の範囲を封じ込めるコンテナとして見ることができる
高階関数を受け取り、モナドの中身に適用して、その結果をまたモナドに詰めて返す
関数Aをモナドに渡し、その戻り値に関数Bを渡し、その戻り値に関数Cを渡し…と連鎖させることで、A→B→Cの評価順を確定することができる
~~モナドの中身を取り出すのは、Scalaではunit、Haskellではreturn~~ ←これは完全に間違い。
値を受け取り、その値を格納したモナドのインスタンスを生成する関数を持つ(~~Scalaではmap、Haskellではunit~~ Scalaではコンストラクタ、Haskellではreturn)
関数を連鎖させた際にモナドの多重化を防ぐための仕組みが用意されている(ScalaではflatMap、Haskellではbind)
モナドで使用する高階関数は、モナドの中身を受け取って、モナドを返す
Scalaのfor文は、ListモナドとflatMapに展開される。

「モナドは象だ」の翻訳まとめ - {Fight the Future => じゅくのblog} http://d.hatena.ne.jp/jyukutyo/20081111/1226392144