抄録
約2000行のMLコードにより実装された,教育目的のコンパイラMinCamlについて議論する.対象言語は値呼び,非純粋,暗な単相型を持つ高階関数型言語である.レイトレーシングを含むいくつかのアプリケーション・プログラムに対し,実行速度においてObjective CamlやGCCとほぼ同等のコードを生成することができた.
We present an educational compiler, MinCaml, implemented in 2000 lines of ML. The target language is a strict, impure, implicitly typed, higher-order functional language. The compiler produces as fast code as Objective Caml and GCC do for several application programs including a ray tracer.
