泛型是包含类型参数的抽象类型—类型构造器

泛型是包含类型参数的抽象类型—类型构造器;

抽象类型不能作为类型直接定义变量;

必须先具体化;

泛型是类型构造器。

构造器+参量类型空间 = 具体类型;

具体类型 = 泛型 + 参量类型空间。

泛型是类型领域的概念,与接口、抽象等概念平级;