Scala：“任何”和“全部”；功能

Question

我的 Haskell* 有点生锈了，所以我可以想象我错过了显而易见的事情：

def any[A](s: Traversable[A], f: A => Boolean): Boolean = {
    s.foldLeft(false)((bool, elem) => bool || f(elem))
}

这些属性之一是否适用于它？

1. 在Scala libs
2. 环境中的某个地方预定义的，并且更快地写成一些单行
3. 错误（我没有测试它，抱歉；））

---

*实际上是SML，但99％相同，但在阳光下无人知晓。

Answer 1

1. 它是预定义的，称为存在。 forall 将是您正在寻找的“all”函数。

   scala> Vector(3, 4, 5).exists(_ % 2 == 0)
   res1: 布尔值 = true
   
   标量> Vector(3, 4, 5).forall(_ % 2 == 0)
   res2: 布尔值 = false
   

2. 您可以使用带有 break 的 for 循环（来自 scala.util.control.Breaks）来提高其性能。 （请参阅 exists 和 forall 的标准库实现。）

3. 这是正确的。

Answer 2

Traversable 特征上存在的方法相当于 any 和 all：

def all[A](xs: Traversable[A], p: A => Boolean): Boolean = xs forall p

def any[A](xs: Traversable[A], p: A => Boolean): Boolean = xs exists p

Answer 3

1. 不，它不是用这些名称预先定义的。您可以使用 Traversable 包中的 exists 。

2. 您的实现的最大缺点是，当对于任何any，如果有任何为真，如果已经可以给您答案时，将需要消耗您的所有可遍历性。对于全部也是如此。但我们可以很容易地实现这一点，这样它就不会评估整个序列。另一种解决方案是为此类操作实现一个 monad。然后你会调用：

   a and b and c 相当于 a.and(b).and(c)

3. 这是正确的。

顺便说一句，我发现缺少的另一个函数是 sum 函数。

Answer 4

exists 怎么样：

scala> List(1,2,3).exists(_ > 2)
res12: Boolean = true

它位于 Traversable< /a>.