3imp 写経の日々その２(マニアむけ) - 言語ゲーム

3imp 写経の日々その２(マニアむけ) - 言語ゲーム

というわけでやっと 4.7 章まで読み終えた感想です。 3imp は特に Lisp 系言語の利点を最大限に発揮した...概要を表示 というわけでやっと 4.7 章まで読み終えた感想です。 3imp は特に Lisp 系言語の利点を最大限に発揮した構成になっています。この限られたスペースの中で、コンパイラの実装について不足なく説明しきる事が出来た勝因は S 式とマクロでしょう。私は正直 S 式もマクロも嫌いですが、ことプログラミング言語の実装を解説するという用途において Lisp は最強という感想を持ちました。 まず S 式について。S 式を使うとパーサが不要です。世の中に出回っているコンパイラの教科書のかなりのスペースがパーサの説明になっている事を考えると、パーサが不要というのは画期的です。パーサの説明を省く事によっていきなり本質的な議論が出来るからです。 それからマクロについて。3imp のソースは SICP に比べて相当分かりやすいですが、その理由は record-case マクロによるパターンマッチもどきにあると

• programming-functional
• いまさら訊けない
• programming language
• Scheme
• lambda
• lisp
• 論文
• ネタ
• あとで読む