为什么斯卡拉不能推断方法参数的类型

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在存在子类型时不起作用。