なんだか毎回続く、とか書きながら違うことを書いているような気がする。 今回は、リストモナドを使うと非決定性計算が記述できるという話。 また微妙に脇にそれる。 そういやSICPにamb評価器があったよなぁとか、 それをすんなりかけそうだなぁとか。 とい…

ゲームライブラリをモナドにしようと思ったのだが、 いざ自分で書いてみようと思うとさーーーーっぱり書けない。 というか、完全に掌握できている(と思っている…)のが IOモナドとMaybeモナドとListモナドぐらいなものなのだ。 そういうわけで、Monad Templat…