具体类型：能够初始化；
抽象类型：不能直接初始化；
类型参量：泛型和高阶类型的通道；
类型约束：泛型到高阶类型的通道。
基础类型；
结构类型；
容器类型；
高阶类型；
泛型、抽象类型：
类型是否能够直接初始化。
低阶类型与高阶类型的转化。
