Scala: “ninguna” y “todas las” funciones

Question

mi Haskell * es un poco oxidado, así que puedo imaginar que me falta lo obvio:

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

hace una de estas propiedades se aplican a la verdad?

1. predefinido en algún lugar de las librerías Scala
2. circunstancial, y más rápido por escrito como algunos de una sola línea
3. mal (no he probado, lo siento;))

---

* en realidad SML, pero eso es 99% lo mismo, pero nadie lo conoce bajo el sol.

Answer 1

1. Es predefinido y se llama exists. Y forall sería la función "todo" que está buscando.

   scala> Vector(3, 4, 5).exists(_ % 2 == 0) 
   res1: Boolean = true 
   
   scala> Vector(3, 4, 5).forall(_ % 2 == 0) 
   res2: Boolean = false 
   

2. Puede que sea más performante usando un bucle con un forbreak (de scala.util.control.Breaks). (Consulte la implementación de la biblioteca estándar de exists y forall).

3. Es correcto.

Answer 2

1. No, no está predifinida con esos nombres. Puede usar exists del paquete Traversable.

2. La mayor desventaja de su implementación es que será necesario consumir todos sus elementos transversales, cuando, para any, si alguno es cierto, si ya podría darle su respuesta. Lo mismo vale para all. Pero uno podría implementar esto fácilmente para que no evalúe toda la secuencia. Otra solución sería implementar una mónada para este tipo de operación. De allí tendría que llamar:

   a and b and c lo que equivale a a.and(b).and(c)

3. Es correcto.

BTW, otra función que me parece falta es una función sum.

Answer 3

¿Qué tal exists:

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

Está en Traversable.

Answer 4

Métodos existe en el rasgo de Traversable que son equivalentes a any y 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