类型
类型可能意味着。 在哲学上。 一个类型是一个存在的类别 类型-符号的区别 类型理论,类型系统研究的基础 在数学上。 类型(模型理论) 类型或Arity,一个函数的操作数。 类型,直觉主义类型理论中的任何命题或集合 在计算方面。 数据类型,用于计算的值的集合 键入(命令),一个shell命令。 类型系统,定义了一种编程语言对数据类型的反应 在社会学中。 理想类型 正常类型 类型化 其他。
类型可能意味着。
在哲学上。
- 一个类型是一个存在的类别
- 类型-符号的区别
- 类型理论,类型系统研究的基础
在数学上。
- 类型(模型理论)
- 类型或Arity,一个函数的操作数。
- 类型,直觉主义类型理论中的任何命题或集合
在计算方面。
- 数据类型,用于计算的值的集合
- 键入(命令),一个shell命令。
- 类型系统,定义了一种编程语言对数据类型的反应
在社会学中。
其他。
相关页面
|  | 这个消除歧义的页面列出了与 "类型 "相关的文章。 如果有内部链接把你引到这里,你可能希望改变链接,直接指向预定的文章。 |