2007-06-07から1日間の記事一覧
Scheme。第一級の継続。マクロ。 しかし、カッコだらけ、静的型チェックなし、etc... ambで非決定性計算をやれば、「それ、リストモナドで」。 マクロは、自分が極めてないので、なんかすごいらしいとしか言えず。OCamlにはcamlp4やMetaOCamlもあるし。 遅延…
Scheme。第一級の継続。マクロ。 しかし、カッコだらけ、静的型チェックなし、etc... ambで非決定性計算をやれば、「それ、リストモナドで」。 マクロは、自分が極めてないので、なんかすごいらしいとしか言えず。OCamlにはcamlp4やMetaOCamlもあるし。 遅延…