2020年的标准ML

令人难以置信的是，标准ML实现仍在积极开发中。MLton、Poly/ML、MLKit、SML#和SML/NJ最为突出。关于StandardML未来发展方向的讨论也是健康的。

而且不知何故，OCaml鲜为人知的表亲仍然击败了OCaml公式核线程支持(在Poly/ML中)。

虽然MLton还没有与MultiMLton或RTMLton合并来支持多核，但一个新的并行MLton分支已经走得相当远，并且正在CMU积极开发中。

此外，最近几年迎来了一些全新的实现。WebML是由一位著名的开源黑客用Rust编写的，它将StandardML编译成WebAssembly。SOSML是萨尔兰大学以前的学生用打字稿写成的口译员。它的特点是有一个漂亮的在线集成开发环境(Online IDE)。

在过去的几年里，标准ML上也出现了一些新的实验旋转。Morel是由Apache方解石的作者用Java编写的具有一些不错的语法扩展的解释器。BrightML是用标准ML编写的标准ML和OCaml的衍生(并使用所有实现中废弃的MoscroML编译器)。

因此，如果你正在寻找一个简单的ML语言家族的介绍，我仍然推荐标准ML的简单性和性能，它很小，但令人惊讶的是，它并没有死掉。：)。

标准ML实现仍在积极开发中！在过去的几年中，甚至出现了一些有趣的新实现。Https://t.co/6kOcMKVfQa。

-菲尔·伊顿(@Phil_Eaton)2020年10月25日