bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellプログラミング講座（中級編） １．論理の世界 前回の記事で、米田の補題との関連を述べたが、オペレーショナル・モナドの命令の実行部分については詳しくは触れなかった。今回は、オペレーショナル・モナドの解釈・実行部分、プログラムではiterpretと記述、の部分について説明する。例によって、長さ注釈つきのリストを用いて説明する。モナドを用いた現実の世界で話をすると複雑になるので、論理の世界で話を進め、これを現実の世界の話に移すこととする。オペレーショナル・モナドについてその作成者のH. Apfelmusが、彼の記事で詳しく説明している。この記事では、stackの操作を例にとって、その解釈・実行部分（interpret）を説明して… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2014%2F09%2F29%2F195340" title="オペレーショナル・モナドを解剖する（１） - bitterharvest’s diary" 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 2014-09-29 19:53:40 rich https://bitterharvest.hatenablog.com/entry/2014/09/29/195340 1.0 100%