Znaczenie podkreślenia w podnośniku [A, B] (f: A => B): Opcja [A] => Opcja [B] = _ mapa f

Question

Pracuję nad przykładami w programowaniu funkcjonalnym Runaru i Paula w Scala książka, a ja natrafiłem następującym realizacji funkcji podnoszenia w punkcie 4.3.2:

def lift[A,B](f: A => B): Option[A] => Option[B] = _ map f

rozumiem cel funkcji, ale nie rozumiem, ponieważ wdrożenie Nie rozumiem, co oznacza podkreślenie. Spojrzałem na wiele innych wątków na temat niezliczonych znaczeń podkreślenia w Scali i chociaż jestem pewien, że te wątki muszą wspomnieć o tego rodzaju przypadku użycia, to musiałem go nie zauważyć.

Answer 1

Podkreślenie w tym miejscu jest skrótem funkcji. Kompilator jest wystarczająco inteligentny, aby wywnioskować, na podstawie typu powrotnej podpis metody, które, co rozumie się:

def lift[A,B](f: A => B): Option[A] => Option[B] = (_: Option[A]).map(f) 

co z kolei rozszerza się:

def lift[A,B](f: A => B): Option[A] => Option[B] = (o: Option[A]) => o.map(f) 

Answer 2

Możesz chcieć mieć spójrz na this answer. Argument _ map f dla x => x map f jest podkreślnikiem będącym symbolem zastępczym argumentu dla funkcji anonimowej.