サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
体力トレーニング
gist.github.com/4085018
わかめモナ化: Maybeモナドの証明 + Coq入門 証明の重要性 うかつにモナドと言うと刺される 例: jQueryはモナドだ - id:anatooのブログ 「jQueryはモナドである」と主張したけど、証明はなかったのですぐに刺された。 JQueryがモナドかどうかとか - たけをの日記@天竺から帰ってきたよ うーん… これ、いわゆる3つのモナド則じゃないよね。ココに書かれてるのはモナドの構造のこと、それもHaskellに特化したもので、圏論的な構造じゃない。抽象的に書けば、モナドは関手に2つの変換 unit と join が付随したもの(Haskell の bind はこれらから導出できる)だし、更に 左単位則、右単位則、結合則の3つの法則を満たすたものでなければならない。 この記事で何をやりたかったかはわかるんだけど、でもうまく行ってないね。もし何かをモナドと呼ぶときはもっと厳
このページを最初にブックマークしてみませんか?
『わかめモナ化.md』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く