はてなブックマーク

関数型言語を実装するときに参考になるウェブ上の資料 京都大学工学部専門科目「プログラミング言語処理系」講義資料 「プログラミング言語処理系テキスト」の中で、OCamlのサブセットである言語MiniMLのインタプリタとコンパイラをOCamlで作る。 目次（一部）： 3章: 型無し MiniML インタプリタの実装 4章: 型推論機能付き MiniML インタプリタの実装 5章: MiniML コンパイラの実装 速攻MinCamlコンパイラ概説 プログラミング言語MLのサブセット「MinCaml」のコンパイラをOCamlで作る。 目次（一部）： 字句解析 構文解析 型推論 K正規化 α変換 β簡約 ネストしたletの簡約 インライン展開 定数畳み込み 不要定義削除 クロージャ変換 仮想マシンコード生成 13 bit即値最適化 レジスタ割り当て アセンブリ生成 Essentials of Com