究極のモナド「Idealモナド」を垣間見る - モナドとわたしとコモナド

新年おめでとうございます。 突然だが、中身への関数適用(fmap)、シングルトンの生成(return)、ネストの結合(join)ができるコンテナを一般化するとモナドになる。 昨年話題になったのでご存知の方も多いと思うが、モナドをシングルトンの生成とネストの結合に関して一般化する、Freeモナドという構造がある。 さらにFreeモナドを一般化すると…Idealモナドになるのだ。 発端 自由モナドの一般化のイデアルモナドというものがあるらしいのでふみさんには是非これにも取り組んでほしい bit.ly/Wn5Arc— Hiromi Ishii (@mr_konn) January 3, 2013 イデアルモナド！？なにそれかっこいい！ そして、私の長い旅が始まる… 定義 Monads and More: Part 2によれば、 An ideal monad on C is a monad (T,