「キマイラ飼育記」は「モナド・ブログ」に変わりました -- って、前も同じようなこと言っていたわ。強モナド（strong monad）は誰が言い出したものか知りませんが、計算的な強モナド（computational strong monad）を利用し始めたのはモッジ（Eugenio Moggi…

「再びモナドへ」と言って、実際、多少はモナドについて調べているわけです。プログラミング言語の機能としてのモナドというよりは、モナド概念を利用して処理系を構成するほうの話がメインテーマです。例えば、少し古いですが、 Sheng Liang, Paul Hudak, M…