わかめモナ化.md

わかめモナ化: Maybeモナドの証明 + Coq入門 証明の重要性 うかつにモナドと言うと刺される 例: jQueryはモナドだ - id:anatooのブログ 「jQueryはモナドである」と主張したけど、証明はなかったのですぐに刺された。 JQueryがモナドかどうかとか - たけをの日記＠天竺から帰ってきたよ うーん… これ、いわゆる3つのモナド則じゃないよね。ココに書かれてるのはモナドの構造のこと、それもHaskellに特化したもので、圏論的な構造じゃない。抽象的に書けば、モナドは関手に2つの変換 unit と join が付随したもの（Haskell の bind はこれらから導出できる）だし、更に 左単位則、右単位則、結合則の3つの法則を満たすたものでなければならない。 この記事で何をやりたかったかはわかるんだけど、でもうまく行ってないね。もし何かをモナドと呼ぶときはもっと厳