Scala - ¿Qué significa '=> SomeType'?

Question

Hoy me gustaría preguntar qué significa el '=> SomeType'. Lo encontré usado en this article. Está en la parte 'El Combinador Secuencial'.

Gracias por cualquier respuesta!

Answer 1

Significa un bloque de código que puede ejecutar.

Así, por ejemplo:

scala> def doTwice(op: =>Unit) = {op; op} 
doTwice: (op: => Unit)Unit 

scala> doTwice({println("Hi")}) 
Hi 
Hi 

En este caso el =>Unit es {println("Hi")}

aquí "SomeType" es la unidad, porque println no produce un valor. Si produjo un Int, sería =>Int.

Answer 2

Es solo un tipo de valor de función que no requiere parámetros. El ejemplo de Owen es genial, solo sé que "A => B" es una función con un parámetro que tiene tipo A y valor de retorno con tipo B y "=> B" es una función que no toma parámetros y regresa un valor con tipo B.

Answer 3

Indica dos cosas. En primer lugar, debido a la prefijación =>, indica que el parámetro se aprobará by name. Luego, indica que el tipo de parámetro pasado debe ser SomeType.

Algunas personas combinan las dos, pensando => SomeType es un tipo en sí mismo - no lo es. Es una conjunción de dos cosas: estrategia de evaluación de parámetros y tipo de parámetro.

Así, breve explicación en la llamada por su nombre, en caso de que el enlace de wikipedia no dejar las cosas claras, si usted tiene esto:

def f[A](x: => A) = { x; x } 
f(some stuff) 

Scala ejecutará Entonces esto así:

{ some stuff; some stuff } 

en una llamada por valor, lo que sucede es de la misma familia:

val x = some stuff 
{ x; x } 

Tenga en cuenta también que el parámetro es siempre evaluado en llamada por valor, pero solo una vez. En llamada por nombre, el parámetro puede nunca evaluarse (si está en una rama no ejecutable de if, por ejemplo), pero puede evaluarse muchas veces.