类型、生成、编译器

类型系统与编译器密切相关；

类型系统住在变量的生成、转化和访问。

类型系统是一种格式、结构。