跳转到内容
首页

类型

类型可能意味着。 在哲学上。 一个类型是一个存在的类别 类型-符号的区别 类型理论,类型系统研究的基础 在数学上。 类型(模型理论) 类型或Arity,一个函数的操作数。 类型,直觉主义类型理论中的任何命题或集合 在计算方面。 数据类型,用于计算的值的集合 键入(命令),一个shell命令。 类型系统,定义了一种编程语言对数据类型的反应 在社会学中。 理想类型 正常类型 类型化 其他。

类型可能意味着。

哲学上。

  • 一个类型是一个存在的类别
  • 类型-符号的区别
  • 类型理论,类型系统研究的基础

数学上。

  • 类型(模型理论)
  • 类型或Arity,一个函数的操作数。
  • 类型,直觉主义类型理论中的任何命题或集合

计算方面。

  • 数据类型,用于计算的值的集合
  • 键入(命令),一个shell命令。
  • 类型系统,定义了一种编程语言对数据类型的反应

社会学中。

  • 理想类型
  • 正常类型
  • 类型化

其他。

相关页面

  • 种类

Disambiguation icon

这个消除歧义的页面列出了与 "类型 "相关的文章。
如果有内部链接把你引到这里,你可能希望改变链接,直接指向预定的文章

相关文章

作者

AlegsaOnline.com 类型

URL: https://zh.alegsaonline.com/art/102355

分享