古典的マクロ、末尾再帰最適化、Lisp2化、web用のrepl

古典的マクロってどうやって実装するのか。
コンパイラフェーズで評価すればいいのかなぁ。
その際の環境をどうするべきかとか、ちょっと考えないとなぁ。

末尾再帰最適化もやりたい。

Lisp in small peacesとかいう本がどっかに転がっているはずなんだけれど、
本が多すぎてどこにあるのやら。。