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中的相等性檢查。 =是。