前回の報告記事：

この記事は ML (Meta Languages) Advent Calendar 2021 の8日目の記事です。

数年前からLunarMLというStandard MLコンパイラーを作っています。この記事では、LunarMLの今年の進捗を報告します。

• https://github.com/minoki/LunarML

LunarMLの進捗と妄想 の続き。「SML ’97の言語機能を一通り実装する」という重要なマイルストーンを達成したので報告する。

LunarML進捗：signatureの実装に向けて の続き。6月中旬以降の進捗を報告する。

自作SML処理系進捗：Hello Lua! の続き。

自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて（equalityやexception等の厄介な奴らはだいたい片付けた）、残すところは

• withtype (derived form)
• abstype（Successor MLに従いderived formとして実装する予定）
• signature
• functor

くらいとなってきている。

自作SML処理系進捗：Hello world の続き。

minoki/LunarML: A Standard ML compiler that produces Lua

自作SML処理系で 1 + 2 がコンパイルできた の続き。