鸭子类型鸭子类型（英語：duck typing）在程序设计中是动态类型的一种风格。在这种风格中，一个物件有效的语义，不是由继承自特定的类或实现特定的接口，而是由「当前方法和属性的集合」决定。这个概念的名字来源于由詹姆斯·惠特科姆·莱利（英语：James Whitcomb
強弱型別強弱型別（Strong and weak typing）表示在電腦科學以及程式設計中，經常把程式語言的类型系统分为強型別（英語：strongly typed）和弱型別（英語：weakly typed (loosely typed)）两种。這兩個術語並沒有非常明確的定義，但主要用以描述程式語言對於混入
類型系統對應了一個極度個別的演算法的運算。型別理論研究型別系統，儘管實際的程式語言型別系統，起源於電腦架構的實際問題、編譯器實作，以及語言設計。 定型（typing，又稱型別指派）賦予一組位元某個意義。型別通常和記憶體中的數值或物件（如變數）相聯繫。因為在電腦中，任何數值都是以一組位元簡單組成的，硬體無法區
名義型別系統Nominal and Structural Type Systems. Types and Programming Languages. MIT Press. 2002: 253–. ISBN 0-262-16209-1. c2.com: Nominative and structural typing
抽象类型typing） 渐进类型（英语：Gradual typing） 交集类型（英语：Intersection type） 潜在类型（英语：Latent typing） 细化类型（英语：Refinement type） 子结构类型（英语：Substructural type system） 唯一类型（英语：Uniqueness