类型推理

编辑
本词条由“匿名用户” 建档。
类型推理是指在形式语言中自动检测表达式的类型。这些语言包括编程语言和数学类型系统,但也包括计算机科学和语言学某些分支中的自然语言。 从最普遍的观点来看,类型可以与指定的用途相关联,建议并限制该类型的对象可能的活动。语言中的许多名词都规定了这种用途。例如,皮带这个词表示的是与线这个词不同的用途。称某物为桌子,与称其为木柴,表明了另一种指定,尽管它在物质上可能是同样的东西。虽然它们的物质属性使事物可以...

类型推理

编辑

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

非技术性解释

编辑

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

类型检查与类型推理

编辑

在类型划分中,一个表达式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类型系统可以提供更完整的类型推理。

内容由匿名用户提供,本内容不代表vibaike.com立场,内容投诉举报请联系vibaike.com客服。如若转载,请注明出处:https://vibaike.com/170865/

(2)
词条目录
  1. 类型推理
  2. 非技术性解释
  3. 类型检查与类型推理
  4. 编程语言中的类型

轻触这里

关闭目录

目录