terazzo https://blog.hatena.ne.jp/terazzo/ terazzoの日記 https://terazzo.hatenadiary.org/ 雑文 大きな勘違いをしていたかも。モナドの十分な要件って、 ある型aに対してそのコンテナとなる型M(a)が定義される 関数unit_a:a→M(a)、bind_aa:M(a) → (a → M(a)) → M(a)が定義される*1 unit_aとbind_aaについてモナド則が成り立つ 型aの要素xとf:a→M(a)となるfに対してbind_aa(unit_a(x), f) ≡ f(x) M(a)の要素mに対してbind_aa(m, unit_a) ≡ m M(a)の要素mとf:a→M(a), g:a→M(a)に対して、bind_aa(bind_aa(m, f), g) ≡ bind_aa(m, (… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fterazzo.hatenadiary.org%2Fentry%2F20110613%2F1307987067" title="モナドではない - terazzoの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-06-13 02:44:27 rich https://terazzo.hatenadiary.org/entry/20110613/1307987067 1.0 100%