爲什麼斯卡拉不能推斷方法參數的類型

Question

我想知道爲什麼斯卡拉不能推斷方法參數的類型。我可以看到，在haskel（它也有類型推理）可以做同樣的事情。那麼爲什麼不爲Scala？

Answer 1

首先，Scala的情況與Haskell有很大不同，因爲它是面向對象的語言，面向對象設置中的類型推斷有點複雜。

我知道的唯一的OO語言接近全類型推斷是OCaml。 OCaml通過廣泛使用結構分型來實現這一點（let f o = o.foo 42中的o的推斷類型是「具有foo方法的對象，其將int作爲參數」並且推斷的返回類型是「無論o.foo的返回類型是什麼」，這是這裏推斷的唯一有用的類型）。

但是Scala有很多額外的功能（重載，隱式轉換）妨礙了OCaml的方法，並且無法進行全面的全局類型推斷。

Answer 2

簡而言之，Haskell使用的類型推斷算法Hindley-Milner在存在子類型時不起作用。