跳转到内容

类型

维基百科,自由的百科全书

这是本页的一个历史版本,由WhitePhosphorus留言 | 贡献2019年1月9日 (三) 05:11 (取消49.158.250.8对话)的编辑;更改回Tang891228的最后一个版本)编辑。这可能和当前版本存在着巨大的差异。

类型可能指:

藝術

哲学

数学

  • 型 (模型論)
  • 类型论(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),将生物之科学名称系于分类单元

相关条目