2009年04月01日

簡潔なMLの実装

もう一つのMLコンパイラを書いてみました。

mini-mlは簡潔なML型言語の実装です。以下の特徴を備えています:
-Hindley-Milner型の型推論
-代数的データ型とパターンマッチング
-例外
-x86_64コード出力

コードは簡潔で、可読性を重視して書きましたが、それでもコードベースは1000行を下回ります。まだ最適化は十分なものではなく、Minilightレイトレーシングでベンチマークを行った結果、g++-4.2.4(-O2)比69%程度の速度となりました。今後は最適化部分に注力して開発を継続したいと思います。

コンパイルにはOMakeが必要です。コンパイル後、"./mini-ml -o a.out foo.ml"とすると実行ファイルa.outをfoo.mlから作成します。

mini-ml-0.0.1.tar.gz

追記: 4月1日はエイプリルフールです。
posted by chun at 08:34| 日記