Qualcuno potrebbe gentilmente spiegarmi perché il seguentefunzione Scala => come parametro di
/**
* 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!
La mia ipotesi è che il PO è stato confuso da pensare a 'x => esiste (s, _ == f (x)) 'quale tipo controlla (sfortunatamente, dato che' f' non ha il tipo più generale), ma fa la cosa sbagliata. – chi
capito, Tzach Zohar, grazie mille! – iammyr