id:sumiiくんがトラバくれたんだけど、そこから張ってあったリンク。→http://www.diku.dk/~andrzej/papers/RLM-abstract.html…自分、いまpsが見られない環境なので（ぉ、とりあえずメモ。

ああ、つまり昨日のコードを抽象化・簡略化して、 nonDet :: (a -> b) -> [a] -> [b] nonDet f xs = do x <- xs return (f x)を考えると、f :: a -> b がモナドに乗っかった世界でいろんな値を返し得ると言うこと？でも入力のxがそもそもいろんな値取ってく…

昨日のコメントにも書いたけど。 http://chu.stanford.edu/ 日本語訳：http://web.sfc.keio.ac.jp/~sakai/doc/chu.stanford.edu/