翻译 | 详细 |
---|---|
类单元generic unit〔名词〕 | 详细» |
类变量class variable〔名词〕 | 详细» |
类型传播type propagation〔名词〕 | 详细» |
类型分类classification type | 详细» |
类型判定原子type decision atom | 详细» |
类型匹配type matching | 详细» |
类型参数type parameter | 详细» |
类型变量type variable | 详细» |
类型名字等价name equivalence of type | 详细» |
类型声明指令type declarative instruction〔名词〕 | 详细» |
类型多种组合形式type polymorphism〔名词〕 | 详细» |
类型字段type field | 详细» |
类型定义type definition | 详细» |
类型定义部分type definition part | 详细» |
类型层次(类型分级结构)type hierarchy | 详细» |
类型强制coercion of type;type coercion | 详细» |
类型扩充type extension | 详细» |
类型描述type specification〔名词〕 | 详细» |
类型描述原子type describing atom | 详细» |
类型数组type array | 详细» |
类型标识符type identifier | 详细» |
类型检查规则type checking rule | 详细» |
类型浮动types float〔名词〕 | 详细» |
类型特性表type property table | 详细» |
类型理论type theory〔名词〕 | 详细» |
类型的结构等价structural equivalence of type | 详细» |
类型相容性type compatibility | 详细» |
类型等价type equivalence | 详细» |
类型结合type association | 详细» |
类型规则type rule〔名词〕 | 详细» |