C++“类型推导”和 Haskell“类型推断”有什么区别？

Question

在英语语义中，“类型推导”是否等于“类型推断”？

我不确定是否

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

谢谢。

Answer 1

C++ 规范和工作草案广泛使用“类型推导”来引用没有类型声明作为参考的表达式类型；例如，这个概念工作草案在谈论auto声明变量时使用它，我记得很多书在谈论模板时都使用它，早在我必须学习 \xe2\x80\x93 时，然后忘记了大部分 \xe2\ x80\x93 C++。然而，类型推断有自己的维基百科页面，也是编程语言理论中一个重要研究领域的名称。如果你说类型推断，人们会立即想到现代类型函数编程语言。你甚至可以用它作为比较语言的标尺；有些人可能会说他们的语言 X 或库 Y 更容易进行类型推理，因此更好或更友好。

\n\n

我想说，类型推断是更具体、更精确、使用更广泛的术语。类型推导作为一个短语可能只在 C++ 社区中拥有威望。这些术语是近亲，但它们使用的上下文赋予了它们字典上的颜色深浅。

\n