前回の記事に「例外は限定継続の上に乗っける感じで実装するべきなのかもしれません」と書きました。この記事では、その辺の話を掘り下げ、「Representing Monads」に繋げます。

今回はLunarMLに入れるつもりの継続周りの機能についてグダグダと書いていきます。

先月のLunarML進捗報告は

• LunarML進捗・2022年4月

でした。

月刊LunarML進捗報告です。前回は

• LunarML進捗・2022年2月

で、3月はHaskellの記事を書くのに忙しかったので休刊でした。

今月の進捗を一言で言うと、JavaScriptバックエンドの実装を進めました。

面白いと思った方はGitHubにスターをつけてください：

• minoki/LunarML: A Standard ML compiler that produces Lua

月刊LunarML進捗報告です。前回は

• LunarMLの進捗・2022年1月

です。

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月中旬以降の進捗を報告する。