Cosas raras con función al curry

Question

Tengo esta situación extraña que no entiendo. Estoy leyendo el libro "Programación en Scala", cap. 9.

Digamos que tengo una función al curry:

def withThis(n:Int)(op:Int=>Unit){ 
     println("Before") 
     op(n); 
     println("After") 
} 

Cuando lo llamo con un argumento dentro de un rizado-sintaxis especial funciona como se esperaba:

withThis(5){ 
    (x) => {println("Hello!"); println(x); } 
} 
// Outputs 
Before 
Hello! 
5 
After 

Sin embargo, si poner dos declaraciones, obtengo algo extraño:

withThis(5){ 
    println("Hello!") 
    println(_) 
} 
// Outputs 
Hello! 
Before 
5 
After 

¿Cómo es que "¡Hola!" se imprime antes de "Antes" y luego se imprime "5" en el interior? ¿Estoy loco?

Answer 1

Su último ejemplo de código debe ser reescrita como sigue para producir el resultado esperado:

withThis(5) { x => 
    println("Hello!") 
    println(x) 
} 

lo contrario, su ejemplo es equivalente al

withThis(5) { 
    println("Hello!") 
    (x: Int) => println(x) 
} 

como el marcador de posición _ será ampliado para enlazar lo más estrechamente posible de una forma no degenerada (es decir, no se expandiría a println(x => x)).

La otra cosa a tener en cuenta es que un bloque siempre devuelve su último valor. En su ejemplo, el último valor es en realidad (x: Int) => println(x).

Answer 2

En su segundo ejemplo, la parte en curlies: { println("Hello!"); println(_) } es un bloque que imprime "¡Hola!" y devuelve un currículum println. Imagínese simplificado como { println("Hello!"); 5 }, un bloque que imprime "¡Hola!" y devuelve 5.