月刊LunarML進捗報告です。前回は
です。
続きを読む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/
続きを読む前回の報告記事:
続きを読むこの記事は TeX & LaTeX Advent Calendar 2021 の15日目の記事です。
続きを読むこの記事は ML (Meta Languages) Advent Calendar 2021 の8日目の記事です。
数年前からLunarMLというStandard MLコンパイラーを作っています。この記事では、LunarMLの今年の進捗を報告します。
続きを読むLunarMLの進捗と妄想 の続き。「SML ’97の言語機能を一通り実装する」という重要なマイルストーンを達成したので報告する。
続きを読むLunarML進捗:signatureの実装に向けて の続き。6月中旬以降の進捗を報告する。
続きを読むSML処理系を書いていると必然的にSMLの重箱の隅に詳しくなっていくものである。ここでは筆者が意外だと思ったSMLの仕様を取り上げてみたい。
続きを読む自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて(equalityやexception等の厄介な奴らはだいたい片付けた)、残すところは
くらいとなってきている。
続きを読む