泛型编程是什么？--面向参量化类型编程

泛型编程：以参量化的不确定类型为中心的编程；类型参量化；

泛型编程的部分是结构：类型构造器的结构、泛函的结构；

 

泛型编程从抽象的角度看（共同性）：

是提取与类型无关的算法和数据组织形式；

 

从可变性（扩展性）（个性化）看：

有些语言需要并支持了泛型结构在某些类型上的扩展swift；

 

从类型角度看：

在确定的结构下将类型作为参量的编程语言。

类型变量可以赋值（指定类型）；

新类型的构造：可以构造高阶类型（类型构造器）（类型符合 has-a）；

可以对类型进行描述（类型约束）（声明式语言）；