計算機の内部では二進浮動小数点数が使われることが多い一方で、プログラムのソースコードやテキストベースのデータ形式（例：JSON）では十進小数が使われることが多い。
データのシリアライズ等で、内部的な二進浮動小数点数を十進小数に変換して、再度二進小数に戻すという操作が考えられる。この時、元々の二進小数の値が保持されることが望ましい。
有限桁の二進小数は原理的には有限桁の十進小数で表現できるが、指数部が大きかったり小さかったりすると仮数部の桁数も膨張するため実用的ではない。
そこで、基数変換の際に丸めが発生することを許容して、二進小数→十進小数→二進小数の変換が恒等写像となるようにしたい。ただし丸めの方法は最近接丸めであるとする。この時、
という問題が考えられる。
続きを読む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/
続きを読む2021年も色々あったので振り返りたい。
続きを読むこの記事は TeX ＆ LaTeX Advent Calendar 2021 の15日目の記事です。
続きを読むこの記事は ML (Meta Languages) Advent Calendar 2021 の8日目の記事です。
数年前からLunarMLというStandard MLコンパイラーを作っています。この記事では、LunarMLの今年の進捗を報告します。
続きを読む先日リリースされたGHC 9.2.1で、64ビットArm（AArch64）向けのネイティブコード生成器（Native Code Generator; NCG）が実装された。これを機会にGHCのバックエンドについて簡単にまとめてみる。
続きを読むLunarMLの進捗と妄想 の続き。「SML ’97の言語機能を一通り実装する」という重要なマイルストーンを達成したので報告する。
続きを読む