sml - 试图弄清楚如何运行代码标准元语言

Question

我试图弄清楚如何运行代码标准元语言：

smallest [5, ~4, 3]; returns ~4

fun smallest L =
    if null (tl L)
    then hd L
    else if hd L < smallest (tl L)
         then hd L
         else smallest (tl L);

Answer 1

您需要一个 SML 解释器或编译器。有多种可供选择，但SML/NJ很可能是最知名/最常用的。

其他包括（但不限于）Moscow ML (MosML)、MLKit和MLton。其中 MLKit 和 MLton 是编译器，而 SML/NJ 和 MosML 是解释器。

关于 SML的维基百科文章是您了解更多有关 SML 的一个很好的起点。

Answer 2

我推荐 PolyML。它有一些更好的 ML 文档。