myuon_myon https://blog.hatena.ne.jp/myuon_myon/ Just $ A sandbox https://myuon-myon.hatenablog.com/ Haskell 圏論 最近Haskellerの間で人気になりつつある(？)Operational Monadというものについての記事です。 サンプルプログラム Operational Monadは http://hackage.haskell.org/package/free-operational で定義されています。後でも説明しますがこれはFree Monadの構造をもったモナドになります。 以下のコードはhttps://gist.github.com/myuon/5737483に載せておきました。 {-# LANGUAGE GADTs #-} import Control.Monad import Contr… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmyuon-myon.hatenablog.com%2Fentry%2F2013%2F06%2F09%2F135407" title="Yoneda lemmaとOperational Monad - Just $ A sandbox" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20F%3A%5Cmathscr%7BC%7D%20%5Cto%20Set Hatena Blog https://hatena.blog 2013-06-09 13:54:07 rich https://myuon-myon.hatenablog.com/entry/2013/06/09/135407 1.0 100%