文章基本信息

标题：MinCamlコンパイラ
本地全文：下载
作者：住井英二郎
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2008
卷号：25
期号：2
页码：2_28-2_38
DOI：10.11309/jssst.25.2_28
出版社：Japan Society for Software Science and Technology
摘要：
約2000行のMLコードにより実装された，教育目的のコンパイラMinCamlについて議論する．対象言語は値呼び，非純粋，暗な単相型を持つ高階関数型言語である．レイトレーシングを含むいくつかのアプリケーション・プログラムに対し，実行速度においてObjective CamlやGCCとほぼ同等のコードを生成することができた．