电梯[A，B]中下划线的含义（f：A => B）：选项[A] =>选项[B] = _映射f

Question

I'm working through the examples in Runar and Paul's Functional Programming in Scala book, and I've come across the following implementation of the lift function in section 4.3.2:

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

I understand the purpose of the function, but I don't understand the implementation because I don't understand what the underscore represents. I've looked at many other threads about the myriad meanings of underscore in Scala, and while I'm sure those threads must mention this type of use case, I must've missed it.

Answer 1

The underscore here is a shorthand for a function. The compiler is smart enough to infer, based on the return type of the method signature, that what is meant is:

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

which in turn expands to:

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

Answer 2

You might want to have a look at this answer . The _ map f is syntactic sugar for x => x map f , the underscore being a placeholder for an argument to an anonymous function.