类型

类型（英语：type）可能指：

数学

• 型 (模型论)，是模型论中一阶逻辑中的一个相容的公式集合。
• 类型论（英语：Type theory），类型系统研究的基础。
• 直觉类型论（英语：Intuitionistic type theory），是基于数学构造主义的函数式程式语言、逻辑和集合论。

计算机科学

• 数据类型（英语：Data type），用于计算的值的集合容器
• 类型系统（英语：Type system），编程语言中由为值分配类型的规则组成的逻辑系统

其他

• 艺术类型（英语：Genre），指艺术创作上区分并统述多项特质相同的作品的方法。
• 型（形而上学）（英语：Type (metaphysics)）
• 理想型（德语：Idealtypus），指借由筛选出某个现象的某些基本或核心特征，则其他的特征都将被摒弃或忽视。
• 犬型（英语：Dog type），是根据形式、功能或工作方式、血统或外观对家犬进行的广泛分类。
• 生物型（英语：Type (biology)），是生物体的特定标本，该生物体的学名正式与之相关联。

相关条目

• 类型学（Typology），对类型的研究
• 种类（英语：Kind）
• 范畴
• 体裁