我目前正在研究一种新的编程语言的想法，理想情况下我希望该语言混合一些功能和过程（面向对象）概念。
我对 Haskell 等语言真正着迷的一件事是它是静态类型的，但您不必对类型进行注释（感谢 Hindley-Milner！）。
我真的很喜欢我的语言，但是在阅读了这个主题之后，似乎大多数人都同意类型推断对于子类型/面向对象是不切实际的/不可能的，但是我不明白为什么会这样。我不知道 F#，但我知道它使用 Hindley-Milner 并且是面向对象的。
我真的很想对此进行解释，最好是针对面向对象语言无法进行类型推断的场景的示例。
【问题讨论】：
标签： oop language-agnostic functional-programming type-inference static-typing
补充一下 seppk 的回答：对于结构对象类型，他描述的问题实际上消失了（可以给 f 一个多态类型，例如 ∀A ≤ {x : Int, y : Int}。A → Int，甚至只是{x : Int, y : Int} → Int)。但是，类型推断仍然存在问题。
根本原因是：在没有子类型的语言中，类型规则对类型施加平等约束。在类型检查期间处理这些非常好，因为它们通常可以立即使用类型的统一来简化。然而，通过子类型化，这些约束被推广到不等式 约束。你不能再使用统一了，这至少会带来三个不愉快的后果：
因此，子类型的类型推断不是不可能的（90年代已经有很多关于该主题的论文），但它不是很实用。
OCaml 采用了一个更简单的替代方案，它使用所谓的行多态性 代替子类型。这实际上是易于处理的。
【讨论】：
当使用名义类型（即成员具有相同名称和相同类型的两个类不可互换的类型系统）时，如下方法可能有多种类型：
let f(obj) =
obj.x + obj.y
任何同时具有成员x 和成员y 的类（支持+ 运算符的类型）都可以作为obj 的可能类型，并且类型推断算法将无法知道哪一个是你想要的。
在 F# 中，上面的代码需要一个类型注释。所以 F# 具有面向对象和类型推断，但不能同时进行（本地类型推断 (let myVar = expressionWhoseTypeIKNow) 除外，它始终有效）。
【讨论】：
f 的定义进行类型检查，而不是调用站点。甚至可能没有对f 的调用，或者对f 的调用可能在不同的编译单元中。