Structural type system

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

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

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

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

58，主要针对嵌入式系统开发。JOVIAL包含ALGOL标准所没有的一些特点，如记录、记录数组、内联汇编等。JOVIAL是1960年代至1970年代主要的系統程式語言（英语：system programming language）。 JOVIAL是“Jules Own Version of the International Algorithmic