类型推理

类型推理是指在形式语言中自动检测表达式的类型。这些语言包括编程语言和数学类型系统，但也包括计算机科学和语言学某些分支中的自然语言。

从最普遍的观点来看，类型可以与指定的用途相关联，建议并限制该类型的对象可能的活动。语言中的许多名词都规定了这种用途。例如，皮带这个词表示的是与线这个词不同的用途。称某物为桌子，与称其为木柴，表明了另一种指定，尽管它在物质上可能是同样的东西。虽然它们的物质属性使事物可以用于某些目的，但它们也是特定称呼的对象。这在抽象领域，即数学和计算机科学中尤其如此，在这些领域中，物质最终只是比特或公式。

在类型划分中，一个表达式E与一个类型T相对，正式写成E:通常，类型化只在某些上下文中才有意义，这里省略不谈。在这种情况下，下面的问题是特别值得关注的。E:T在这种情况下，表达式E和类型T都被给出。

类型是一些强静态类型语言中的一个特征。它通常是一般功能性编程语言的特征。一些包含类型推理的语言包括C++11、C#（从3.0版开始）、Chapel、Clean、Crystal、D、F#、FreeBASIC、Go、Haskell、Java（从10版开始）、Julia、Kotlin、ML、Nim、OCaml、Opa、Q#、RPython、Rust、Scala、Swift、TypeScript、Vala、Dart和VisualBasic（从9版开始。它们中的大多数使用简单的类型推理形式；Hindley-Milner类型系统可以提供更完整的类型推理。