Nominal type system

在計算機科學中，如果一個類型系統是名義的（nominal）（也稱為名稱基礎的（name-based）），則數據類型的兼容性和等價性是通過明確地宣告和/或類型的名稱來決定的，稱之為名義型別系統（英語：nominal type system）。名義系統用於決定類型是否相等，以及一個類型是否為另一個類型

类型理论研究者区分两类类型系统： 名义子类型（英语：nominal type system），在其中只有类型声明的名字相同才算是相同类型，子类型关系必须被显式声明。C, C++, C#, Java, Objective-C等语言均属于这类。 结构子类型（英语：structural type system

Modula-2提供了（有限的）单处理器并发（监视器、协程和显式控制转移）和硬件访问（绝对地址、位操纵和中断）。它使用了名称类型系统（英语：nominal type system）。Modula-2语言允许使用一趟编译器（英语：One-pass compiler）。Gutknecht（英语：Jürg

Modula-3的类型系统使用结构等价（英语：Structural type system），而非Modula-2的名称等价（英语：Nominal type system）即类型构造子的每次出现产生一个新类型。在结构等价中，在如果两个类型的定义在展开的时候，也就是在所

output units 2 The effective data transfer rate of GDDR5 is quadruple its nominal clock, instead of double as with other DDR memory. 1 Unified shaders :