次はコンパイル時の最適化か

次はコンパイル時の最適化かな。
代表的で効果のありそうな最適化を実装したい。

特に let/named let/letrec/let* などあらゆるところで使われる lambda 式の最適化が必要だ。
Three Imp にヒントだけ書いてあったような気がする。
あとは Gauche の compile.scm の pass2 でコメントつきで解説されていたから読もう。

それとは別に、ドラゴンブックに出てきたような Scheme に限らない古典的な最適化をまとめた方が良さそうだ。