SML代码，而不是编译，要求andalso

Question

在我SML这行代码不运行

if check(e1) == Num and check(e2) == Num then Num else raise TypeError "ill-typed"

我得到一个编译错误Error: syntax error: replacing AND with ANDALSO

有谁知道这是为什么不编译？

Answer 1

and在SML中与您的想法非常不同。 and用于定义相互递归函数，而andalso是用于布尔和的关键字。

此外，请注意==不是SML中的相等性检查。 =是。