类型 (消歧义)

维基百科,自由的百科全书
跳转至: 导航搜索
Wiktionary-logo-zh.png
维基词典上的词义解释:

类型可指

哲学中:

数学中:

  • (Type (model theory))
  • 类型论(Type theory),类型系统研究的基础
  • 型(Type)或元数(Arity), 函数或运算所需的参数或算子的数量
  • 型(Type),直觉类型论中的任何命题或设定。

计算机科学中:

  • 数据类型(Data type), collection of values used for computations
  • 类型系统(Type system), defines a programming language's response to data types

社会学中:

其他:

相关条目 [编辑]