Structural type system

明確地宣告和/或類型的名稱來決定的，稱之為名義型別系統（英語：nominal type system）。名義系統用於決定類型是否相等，以及一個類型是否為另一個類型的子類型。名義類型系統與結構系統（英语：structural systems）相對，後者基於類型的結構進行比較，不需要明確宣告。

。这些附加的内容允许这些语言享受鸭子类型的大多数益处，仅有的缺点是需要在编译时识别和指定这些动态类。 鸭子类型和结构类型（英语：Structural type system）相似但与之不同。结构类型由类型的结构决定类型的兼容性和等价性，而鸭子类型只由结构中在运行时所访问的部分决定类型的兼容性。Objective

TypeScript是由微軟进行開發和维护的一種开源的編程语言。TypeScript是JavaScript的严格語法超集，提供了可選的靜態型別检查。 TypeScript的知名開發者有C#的首席架构师兼Delphi和Turbo Pascal的创始人——安德斯·海尔斯伯格。 Type

名义子类型（英语：nominal type system），在其中只有类型声明的名字相同才算是相同类型，子类型关系必须被显式声明。C, C++, C#, Java, Objective-C等语言均属于这类。 结构子类型（英语：structural type system），在其中两种类型的结构组成决定了一种类型是否是另一种类型的子类型。

在计算机科学中，类型系統（英語：type system）用于定義如何將程式語言中的數值和運算式归類为许多不同的型別，如何操作这些型別，这些型別如何互相作用。型別可以确认一个值或者一组值具有特定的意义和目的（雖然某些型別，如抽象型別和函式型別，在程式執行中，可能不表示為值）。型別系統在各種語言之間有