type
简介
类型(type)以及类型系统的起源以及研究与发展是独立于oop的。早在五十年代的fortran语言编译器实现中,就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束,也就是一种逻辑公式。
| 上位词 | 独立于oop的 |
|---|---|
| 中文名 | 类型 |
| 原始名称 | type |
| 外文名 | type |
| 英文名 | type |
| 读音 | [英][taɪp] [美][taɪp] |
相关实体
类型(type)以及类型系统的起源以及研究与发展是独立于oop的。早在五十年代的fortran语言编译器实现中,就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束,也就是一种逻辑公式。
| 上位词 | 独立于oop的 |
|---|---|
| 中文名 | 类型 |
| 原始名称 | type |
| 外文名 | type |
| 英文名 | type |
| 读音 | [英][taɪp] [美][taɪp] |