self-hosting可能なmincamlコンパイラという夢(とその進捗) - 忖度

この記事は、 adventar.org の5日目の記事として書かれました。昨日はmoratorium08さんの moraprogramming.hateblo.jp でした。コンパイラの穴をついたexploit、今後こういうジャンルも増えるんでしょうか。期待ですね。 本題 8月にセキュリティキャンプに参加しました。 そこで、C言語セルフホスティングトラックの人たちと話す機会があったのですが、 「大学の授業でmincamlのコンパイラを書いたんですよ」というと 「そのコンパイラはセルフホストできるんですか？？？」(この辺は実際の発言と差があるかもしれない) と言われたので、そんならいっちょやったるか、という気持ちで趣味の実装を進めているので、その紹介をします。 実装はここ github.com で現在進行形で進めています。 mincamlとは OCamlの教育的subsetみたいなものです。