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

どんどん日が進み、 どんどん日記が遅れてゆく… (これかいてるの8/25かも)