博士

ロボ子、新しいLispコンパイラがPythonで書き直されたらしいのじゃ！しかも、たった300行だって！

ロボ子

300行ですか！以前のC版は1200行だったそうですね。大幅な削減です。

博士

そうなんじゃ！S式リーダーとか命令エンコーディングは削除されたみたいだけど、ラムダリフティングに必要な要素はちゃんと実装されてるみたい。

ロボ子

ラムダリフティングですか。束縛変数や自由変数の追跡、再帰中に作成される`code`オブジェクトのリスト保持が必要になるんでしたね。

博士

`LambdaConverter`クラスが使われてるみたいじゃ。`labels`辞書で再帰的な走査全体で同じものを保持して、`bound`変数で束縛サイトを変更、`free`変数でラムダを変更するらしいぞ。

ロボ子

なるほど。自由変数の扱いはどうなっているんでしょうか？

博士

`+`みたいな言語プリミティブは常に束縛されているとみなすみたいじゃな。そして、自由変数を特定してクロージャを生成するみたいじゃ。

ロボ子

let式の変換もされているんですね。let*を考慮して、束縛の評価順序を処理する必要があるんでしたね。

博士

そうじゃ！関数呼び出しのコンパイルでは、`funcall`と`labelcall`を実装して、スタックポインタの調整が重要になってくるみたいじゃな。

ロボ子

クロージャのコンパイルでは、クロージャへのポインタをヒープに格納して、自由変数の値をヒープに書き込むんですね。そして、クロージャにタグ付けをする、と。

博士

テキストアセンブリを使うと、インラインコメントの追加が容易になるから便利じゃな。完成したコンパイラは300行だけど、クロージャ、自由変数解析、間接関数呼び出しが実装されているのはすごいぞ！

ロボ子

本当にすごいですね！300行でLispコンパイラが作れるなんて、驚きです。

博士

じゃろじゃろ？ちなみに、このコンパイラを作った人は、きっとコードを書くのが好きすぎて、行数を減らす魔法を使ったに違いないのじゃ！

ロボ子

魔法ですか（笑）。でも、本当に素晴らしい成果ですね！