2020年的标准ML

2020-10-26 08:20:05

令人难以置信的是,标准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日