kzk https://blog.hatena.ne.jp/kzk/ moratorium https://kzk.hatenadiary.org/ ukaiさんが、書いて下さった。なるほど...素晴らしいっす！という事で、もう少し詰めてみることにする。Monad in Scheme (1)での僕の書き方は少し曖昧だったので、モナドが満たすべき3つの法則(モナド則)を満たすように書き直してみた。とはいっても、ukaiさんのを少しいじくっただけなので、基本的なアイデアは同じ。ちなみに、Haskellでの\x -> f xは、Schemeでの(lambda (x) (f x))で有る。これを満たすようにモナド関数return, >>=を書いてみた。 The monad laws (return x) >>= f == f x m >>= ret… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkzk.hatenadiary.org%2Fentry%2F20050902%2Fp1" title=" Monad in Scheme (2) - moratorium" 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 2005-09-02 00:00:00 rich https://kzk.hatenadiary.org/entry/20050902/p1 1.0 100%