MinCamlコンパイラ概説を読んで

id:sumiiさんの速攻MinCamlコンパイラ概説 - http://min-caml.sourceforge.net/
を読み返した。
以前よりもすっと理解できて、この解説の内容の濃さに脱帽。
K正規化、α変換、β簡約とかを知らない状態で読んでも分かる。
コンパイラが書けそうに思えてくるから不思議だ。
あとコンパイラの行数の少なさも驚異的。

追記

id:alohakunさんが面白いコメントをつけてくれていて参考になるかも。