MinCamlの疑似コード

MinCaml 疑似コード

MinCaml コンパイラ

MinCamlの抽象構文

https://gyazo.com/5e6e1429763f97e82a3ccd53eb9ecaad

MinCamlのK正規形

https://gyazo.com/c3751e17bf1ce4b0c98e2aa3ec9292d2

α変換

https://gyazo.com/e2f583427bd2e6e75e8b3713712b359a

β簡約

https://gyazo.com/a94785034542489f2097d4a35aee0926

ネストした let の簡約

https://gyazo.com/092f5358bd38bb99164038da6917cc7b

クロージャ変換後の構文

https://gyazo.com/4335685c6588f9393edb51faddba37ea

仮装マシンコードの構文

https://gyazo.com/46cbec152b888c89982068881d8c3394