类型

维基百科,自由的百科全书
跳到导航 跳到搜索

类型可能指:

藝術[编辑]

哲学[编辑]

数学[编辑]

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

计算机科学[编辑]

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

社会学[编辑]

其他[编辑]

  • Architectural type, classification of architecture by functional types (houses, institutions), morphological types or historical types
  • The yellowchair performance experience, a theatre company often abbreviated to TYPE
  • 犬型(Dog type), categorisation by use or function of domestic dogs
  • 生物型(Biological type),将生物之科学名称系于分类单元

相关条目[编辑]