programming - ¿Scala tiene guardias?

scala programming

Question

Comencé a aprender scala hace unos días y al aprenderlo, lo estoy comparando con otros lenguajes de programación funcionales como ( Haskell , Erlang ) con los que tenía cierta familiaridad. ¿Scala tiene secuencias de guard disponibles?

Pasé por la comparación de patrones en Scala, pero ¿hay algún concepto equivalente a guardias con lo otherwise y todo?

Answer 1

La respuesta simple es no. No es exactamente lo que está buscando (una coincidencia exacta para la sintaxis de Haskell). Usaría la declaración de "coincidencia" de Scala con un guardia y proporcionaría un comodín, como:

num match {
    case 0 => "Zero"
    case n if n > -1 =>"Positive number"
    case _ => "Negative number"
}

Answer 2

Me encontré con este post buscando cómo aplicar guardias a las coincidencias con múltiples argumentos, no es realmente intuitivo, así que estoy agregando un ejemplo aleatorio aquí.

def func(x: Int, y: Int): String = (x, y) match {
  case (_, 0) | (0, _)  => "Zero"
  case (x, _) if x > -1 => "Positive number"
  case (_, y) if y <  0 => "Negative number"
  case (_, _) => "Could not classify"
}

println(func(10,-1))
println(func(-10,1))
println(func(-10,0))

Answer 3

Sí, hay guardias de patrón. Se usan así:

def boundedInt(min:Int, max: Int): Int => Int = {
  case n if n>max => max
  case n if n<min => min
  case n => n
}

Tenga en cuenta que en lugar de una cláusula de otherwise contrario, simplemente especifique el patrón sin una protección.

Answer 4

Sí, usa la palabra clave if . Desde la sección de Clases de Casos de A Tour of Scala, cerca del fondo:

def isIdentityFun(term: Term): Boolean = term match {
  case Fun(x, Var(y)) if x == y => true
  case _ => false
}

(Esto no se menciona en la página de coincidencia de patrones , tal vez porque el Tour es una descripción general rápida).

En Haskell, de lo otherwise es en realidad solo una variable vinculada a True . Por lo tanto, no agrega ningún poder al concepto de coincidencia de patrones. Puede obtenerlo simplemente repitiendo su patrón inicial sin el guardia:

// if this is your guarded match
  case Fun(x, Var(y)) if x == y => true
// and this is your ''otherwise'' match
  case Fun(x, Var(y)) if true => false
// you could just write this:
  case Fun(x, Var(y)) => false