Successor MLとは

Standard MLの仕様は、1997年に出版されたThe Definition of Standard ML (Revised)が最後の版である。しかし、その後も仕様を修正・改良しようという努力が断続的に行われており、Successor MLと呼ばれている。

現行の仕様は以下のGitHubリポジトリーで管理されている：

https://github.com/SMLFamily/Successor-ML

現在のLaTeXではそのままでは処理できないので、https://github.com/SMLFamily/Successor-ML/pull/46の変更を参考にされたい。また、電子的に閲覧したい場合はdefinition/root.texの

%\usepackage{hyperref}

をコメント解除すると良いだろう。ClutTeXを使うと

cd definition && cluttex -epdflatex --bibtex=bibtex root.tex

で処理できる。

ゼロ年代の古いWikiは以下のリンクから辿れる：

https://smlfamily.github.io/successor-ml/

前回の報告記事：

この記事は 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 がコンパイルできた の続き。