泛型编程：以参量化的不确定类型为中心的编程；类型参量化；
泛型编程的部分是结构：类型构造器的结构、泛函的结构；
泛型编程从抽象的角度看（共同性）：
是提取与类型无关的算法和数据组织形式；
从可变性（扩展性）（个性化）看：
有些语言需要并支持了泛型结构在某些类型上的扩展swift；
从类型角度看：
在确定的结构下将类型作为参量的编程语言。
类型变量可以赋值（指定类型）；
新类型的构造：可以构造高阶类型（类型构造器）（类型符合 has-a）；
可以对类型进行描述（类型约束）（声明式语言）；