Rubyでリストモナドぽい何か - 趣味的にっきhttp://mono.kmc.gr.jp/~oxy/w/hiki.cgi?Non%20Determinismにあるリストモナドで非決定性計算をRubyでHaskellぽく解いてみようと思います。問題はこれです。元はSICPらしいです。 Baker, Cooper, Fletcher, MillerとSmithは五階建てアパートの異なる階に住んでいる。Bakerは最上階に住むのではない。Cooperは最下階に住むのではない。 Fletcherは最上階にも最下階にも住むのではない。MillerはCooperより上の階に住んでいる。SmithはFletcherの隣の階に住むのではない。FletcherはCooperの隣の階に住むのではない。それぞれはどの階に住んでいるか。 Haskellの回答はこちら。リストモナドがおしゃれです。 import Control.Monad.List solve
