clojure でも secd machine を書いてみようとやってみて、あまりに clojure について知らなすぎることが分かった。 (cons 1 2) はエラー。(cons 1 (list 2)) は OK car, cdr はfirst,rest begin, progn のかわりに do cond,let は lisp に比べてカッコが一つ…

http://d.hatena.ne.jp/KZR/20090915/p2 http://impromptu.moso.com.au/ これは。Processing 並の環境を scheme で？しかも LLVM も使ってる？ 結構前からあるみたいだけど見逃してたっぽい。

gauche toy VM はまだ遠いので、SECD machine の続き。 LispMe の VM は SECD Machine をちょっと拡張したものになっている。特に理解しておきたいのが、シンプルに書けるという continuation(6.7,7.5) と、tail call(6.6, 7.4)。 まず末尾呼び出しの最適化…