类型

类型可能意味着。

哲学上。

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

数学上。

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

计算方面。

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

社会学中。

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

其他。

相关页面

  • 种类

Disambiguation icon

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


AlegsaOnline.com - 2020 / 2023 - License CC3