はりぼて自作OCamlコンパイラAQamlでセルフホストしてみた

おじさん1なにしたのはりぼて自作OCamlコンパイラを書いてセルフホストを達成しました2。コミットログによると、11月から開発を始めて3およそ2ヶ月くらいかかったようです。レポジトリはこちら4： https://github.com/ushitora-anqou/aqaml 文字列・リスト・タプル・レコード・バリアント・参照などの基本的なデータ構造5と、 if・for・パターンマッチ・let・相互再帰関数・クロージャなどの基本的な制御構造6が実装されています。 セルフホストに必要な機能のみを実装したので、もちろんOCamlの全てを実装したわけではありません。例えばGC7・カリー化8・クラスなどのOCamlの重要な機能が無い他、型推論9もありません。 GCが無いのでセルフコンパイルに数百MBのメモリを要しますが、まぁそれはそれです。 OCamlってなに一言では説明できないのでググってください

[sh19910711]

"MOOCのOCaml講座 / 今まで私が触れてきた言語とは異なるパラダイム・文法 / コースを半分ほど終えたところで勝手にコースアウトしてOCamlコンパイラをOCamlで書き始めました"

[kuuote]

型推論無くてもここまで動くというの面白い