The monad laws

モナド則 三つの基本則 「失敗」は付けたし 出口はない Zero と Plus 要約 このチュートリアルではいままで、技術的な議論を避けてきました。しかし、 モナドについて考えるべき技術的な要点が2、3あります。モナド演算は、 「モナド公理」として知られている、いくつかの法則群に従わなければ なりません。これらの法則は Haskell のコンパイラが強制するものでは ありません。したがって、すべての Monad のインスタンスと 宣言したものが、これらの法則に従うことを保証するのはプログラマ自身です。 Haskell の Monad クラスは、まだ見ていませんが、最小限の定義 以上にいくつかの関数を含んでいます。結局、多くのモナドは標準のモナド則 以外の規則にも従っています。Haskell のクラスにはこうした拡張されたモナド をサポートするためのものがあります。 三つの基本則 モナドの概

[kiyo_hiko]

"IOモナドから脱出することはできませんから…型構築子IO を含まないような関数の定義を書くことは不可能です… IOを含まないような結果を 返すあらゆる関数はIOモナドを使わないことが 保証されているということです"

[kirakking]

MonadPlusはMonadにmzeroとmplusを追加。MonadPlusを可換環(>>=を乗算、mplusを加算)としてとして考えると、mzeroは零因子かつ零元。mplusは少なくともどちらかが成功すれば良い。

[watarum]

ほらよ #rpscala

[unno_hideyuki]

monad則

[ysano2005]

モナド則