在SML中使用逻辑运算符的foldr/foldl

Question

我试图在SML中使用foldr或foldl建立一个函数，它将返回列表中所有元素的逻辑或逻辑。

我试图以这种方式，使用和和或：

fun band x = foldr (op and) true x; 
fun bor x = foldr (op or) false x; 

而且还使用andalso和否则别指望。不过，我不断收到错误消息，例如：

Error: unbound variable or constructor: or 

Answer 1

没有运营商称为SML and和or。 and是一个关键字，用于分隔同时声明的多个变量或声明。没有or。

AND和OR逻辑运算符分别为andalso和orelse，正如你在自己的答案中所说的那样，它们是短路的，而不是常规的运算符。

Answer 2

我发现了问题：andalso和orelse不是运营商或函数的原因，他们实现short-circuit evaluation。

因此，解决方案应该是：

fun band x = foldl (fn (a,b) => a andalso b) true x; 
fun bor x = foldr (fn (a,b) => a orelse b) false x; 

Answer 3

（回答，而不是评论。）考虑使用List.all : ('a -> bool) -> 'a list -> bool和List.exists : ('a -> bool) -> 'a list -> bool因为他们是短路，不像List.foldl。折叠比band的情况下的第一个false更远，或者bor的情况下的true确实没有意义。也就是说，

val band = List.all (fn b => b) 
val bor = List.exists (fn b => b) 

一个用于这些库函数的定义中找到here：

fun all p []  = true 
    | all p (x::xr) = p x andalso all p xr; 

fun exists p []  = false 
    | exists p (x::xr) = p x orelse exists p xr; 

自从被送入band名单和bor已经bool型的，经过身份功能(fn b => b)将产生理想的真值。这些函数的通用性足以适用于任何可以为每个元素应用谓词的列表，因此如果从其他列表中生成bool list，则可以避免该步骤。