scala - 在 Scala 中推断正确的 lambda 类型

Question

为什么编译器不能正确推断x和y的类型？
我已经阅读了一些有关 Scala 类型推断的文章，但仍然无法弄清楚为什么它是不可能的。

object Test {
    def main(args: Array[String]) {
        def add(x: Int, y: Int) = x + y
        val f = (x,y) => add(y,x) // error: missing parameter type
    }
}

Answer 1

因为 add 可能会被其他类型重载，因此实现它来处理像您这样的简单情况会给编译器增加很多复杂性。

编辑:

您可能知道，haskell 能够推断此类声明的类型，但这只是因为 haskell 不支持重载。