2011-04-01から1ヶ月間の記事一覧

モナド則1が成り立たないと

以前「モナド則1(左単位元)を満たさない偽リストモナド」でモナド則1が成り立たないとどういうとき困るかを書いたのですが通常の場面では出てこないような例だったので別の例をあげます。あらためて偽リストモナドの定義を書くと import Monad(sequence)…