OCaml で非決定計算っぽいことをやってみることに。最初は Python でやってたんだけど、if が文なことにがびーんとなって OCaml で書き直しました。amb な部分はこんな感じに。id:mzp に、これってただの継続渡しじゃんと言われたが、継続渡し・継続(call/cc…

勉強会でのネタ。与えられた語彙を全て使ってしりとりができるかどうかを判定するもの。 shiritori は無理に StateT を使ったもの。 shiritori2 は、順列を作ったあとにしりとりができる並びのものだけを取り出すという素直な実装。 import System (getArgs)…