c++ - C++ "type deduction"和 Haskell "type inference"有什么区别？

Question

在英语语义中，“type deduction”等于“type inferring”吗？

我不确定

1. 这只是不同语言设计者选择的成语偏好，或者
2. 计算机科学给出了严格的“类型推导”定义， 哪个不是“类型推断”？

谢谢。

Answer 1

C++ 规范和工作草案广泛使用“类型推导”来指代没有类型声明作为引用的表达式类型；例如 this working draft on concepts在谈论 auto 声明的变量时使用它，我记得很多书在谈论模板时都使用它，那时候我不得不学习——然后忘记了大部分——C++。 Type inference但是，它有自己的维基百科页面，也是编程语言理论中一个重要研究领域的名称。如果说类型推断，人们会立即想到现代类型化的函数式编程语言。您甚至可以将它用作比较语言的尺子；有些人可能会说他们的语言 X 或他们的库 Y 更容易进行类型推理，因此更好或更友好。

我会说类型推断是更具体、更精确且使用更广泛的术语。类型推导作为一个短语可能只在 C++ 社区中占有一席之地。这些术语是近亲，但它们所使用的上下文赋予了它们不同的颜色深浅。