スマートコン @mr_konn 本質は (>=>)でありながら実用するのが圧倒的に (>>=) であるせいでモナド則がグロテスクに見えすぎる。モナド怖い病の原因ですね…… 2010-05-25 13:50:37 スマートコン @mr_konn モナド則の恐ろしいところは、『左右単位元が存在し、結合法則がなりたつある種の関数合成』を持つデータ構造、という簡潔な条件だけでほぼあらゆる副作用を表現出来てしまうところにあると思う 2010-05-25 13:53:43 でちまるさん(実際かわいい) @decimalbloat @mr_konn もう一つ、 return >=> f = f, f >=> return = f, (f >=> g) >=> h = f >=> (g >=> h) だけ言われても「で、これは何?」「モナドです」という押し問答にしかならないこと 2010-05-25 13
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く