Lambda演算：在Scala中应用

Question

我想这会起作用。 我做错了吗？

val apply = (f: Any => Any, v: Any) => f(v)
val square = (x: Int) => x * x

我想象申请（square，10）会导致100。

但是我收到一个错误：

:15: error: type mismatch;
 found   : Int => Int
 required: Any => Any
       apply(square, 100)

我在这里缺少什么？

Answer 1

函数在返回类型中是协变的，但在参数中是逆变的。 Int => Int是Int => Any的子类，但不是Any => Int或Any => Any （如果是，你可以在上下文中使用，例如，传入一个String参数，并且它将无法处理它，因为它想要一个Int ）。

Cosider这个：

val foo: Function[Int, Int] = { x => x * x }    
def bar(f: Any => Any)(arg: Any): Any = f(arg) 

bar(foo)("foo") //???

if Int => Int是Any => Any的子类，那么最后一行是有效的。 但它不可能，因为它会导致使用String参数调用foo 。

另请注意， Any => Int是Int => Int的子类（您可以在需要后者的任何地方使用前者）。 这就是“逆变”的意思。