Scheme Interpreter on Ocaml

このまえちらっとSchemeインタプリタのことを書いたら、
本体サイトの掲示板の方でご要望をいただいたので
いやしくも公開させていただいた次第であります。

http://fxp.infoseek.ne.jp/ocaml/oscm/

ソースはなんというか、よく分からんことになってしまっているのだが、
基本的にバイトコードにコンパイルしてそれを適当に実行しています。
バイトコードの実行はこれまた適当に継続を渡しながら実行しています。
中に入っている文章は適当に書き散らかしていた文章を
そのまま放り込んだので、不適切な表現等があってもご容赦を。

http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/

プログラム自体はこれを見ながら作り始めた…はずなのだが、
途中で、"こんなのでまともなSchemeインタプリタが作れっか!!"と、
大体違うつくりにしたので、上記授業の参考には全くならないと思います。