SML - if 条件带有一些“或”

Question

我想创建一个这样的 if 条件：

if

 ((head(c) = 1) or (head(c) = ~1) or (head(c) = ~5) or (head(c) = ~17) or (head(c) = 0))
count +1
else..

函数头 return 'a;

它给了我下一个错误：operator is not a function [tycon dismatch] 运算符：布尔 表达中

有什么问题？谢谢。

Answer 1

我认为它在 SML 中被称为orelse。

Answer 2

它被称为orelse，不仅仅是or和andalso而不是and。但orelse 和andalso 不是函数。引自标准 ML '97 中的编程：

特别注意 andalso 和 orelse 不是中缀函数，因为它们的第二个参数并不严格 - 也就是说，它们并不总是强制计算第二个参数 - 并且此类函数不能用严格的编程语言定义例如标准机器学习。因此我们不能将 op 关键字应用于 andalso 或 orelse。

Answer 3

对于这个例子，你也可以这样写：

let val h = head c in
if List.exists (fn x => x = h) [1, ~1, ~5, ~17, 0]
then count + 1
else ...
end