funzione Scala => come parametro di

Question

Qualcuno potrebbe gentilmente spiegarmi perché il seguente

/** 
    * Returns a set transformed by applying `f` to each element of `s`. 
    */ 
    def map(s: Set, f: Int => Int): Set = x => exists(s, y => f(y) == x) 

non è equivalente a

def map(s: Set, f: Int => Int): Set = x => exists(s, f(x)) 

in cui "esiste" è una funzione che restituisce se esista un limitato numero intero compreso tra s (il primo argomento) che soddisfa p (il secondo argomento).

Perché è necessario specificare "y => f (y) == x"? Grazie mille!

Answer 1

exists 's secondo argomento ha il tipo Int => Boolean (corrette), in altre parole, si aspetta una funzione da Int a Boolean. Ora, f(x) non è conforme a questo tipo - ha il tipo Int. Quindi - y => f(y) == x crea una funzione con il tipo corretto, che restituisce true se il suo input è uguale a x.

Se i caratteri in eccesso bug - è anche possibile accorciare un po 'con il argomento anonimo '_':

def map(s: Set, f: Int => Int): Set = x => exists(s, f(_) == x)