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