类型系统的分类

具体类型：能够初始化；

抽象类型：不能直接初始化；

类型参量：泛型和高阶类型的通道；

类型约束：泛型到高阶类型的通道。

 

基础类型；

结构类型；

容器类型；

高阶类型；

 

泛型、抽象类型：

 

类型是否能够直接初始化。

 

低阶类型与高阶类型的转化。

转载于:https://www.cnblogs.com/feng9exe/p/9707921.html