おじさん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ってなに一言では説明できないのでググってください
![はりぼて自作OCamlコンパイラAQamlでセルフホストしてみた](https://cdn-ak-scissors.b.st-hatena.com/image/square/fce1ccfcc51a1beb93cc791ccf513a38c69b0583/height=288;version=1;width=512/https%3A%2F%2Fanqou.net%2Fpoc%2Fwp-content%2Fuploads%2F2019%2F01%2F20190127_162735.png)