---

3 MLインタプリタの作成

• インタプリタとは
• プログラムファイルの構成・コンパイル方法
• ML¹ インタプリタ --- プリミティブ演算，条件分岐と環境を使った変数参照
  • syntax.ml: 抽象構文のためのデータ型
  • parser.mly, lexer.mll: 字句解析と構文解析
  • environment.ml, eval.ml: 環境の実現，解釈部
  • main.ml
• ML² --- 定義の導入
  • let 宣言・式の導入
• ML³ --- 関数の導入
  • 関数式と適用式
  • 関数閉包と適用式の評価
• ML⁴ --- 再帰的関数定義の導入
• ML⁵ --- リスト

---