MinCaml

ML系言語.

• K正規化

• α変換

• クロージャ変換

• IR生成

• レジスタ割り付け

  • www.yl.is.s.u-tokyo.ac.jp/~yamashita/lecture/compiler-enshu-2006/5/5.pdf

• アセンブリ生成

• HM型推論をJuliaで実装する
  するとレイトレが出来るらしい

• Common Lispで遅延評価を実装しよう - Qiita

  • 遅延評価の実装

実装

• GitHub - koba-e964/min-caml-rust: A min-caml port to Rust
  • レジスタ割り付け の実装もあった
  • 書いた人赤コーダーだった
• MinCaml写経日記
• HaskellでつくるAArch64版MinCaml | 雑記帳