在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是能夠推斷出這種類型的聲明，但這只是由於這樣的事實，即哈斯克爾不支持重載。