类型系统
所谓类型其实就是对表示信息的值进行的细粒度的区分。
在类型系统中，一切皆类型。基于类型定义的一系列组合，运算，和转换等方法，可以看作类型的行为。
类型系统的作用
1.排查错误，很多编程语言都会在编译期或运行期进行类型检查，以排查违规行为，保证程序正确执行。
2.抽象
3.优化效率
4.类型安全：
- 类型安全的语言可以避免类型间的无效计算。
- 类型安全的语言可以保证内存安全。
- 类型安全的语言可以避免语义上的逻辑错误。
类型系统的分类
- 静态类型，在编译期进行类型检查的语言属于静态类型
-动态类型，在运行期进行类型检查的语言属于动态类型
静态类型的语言能在编译期对代码进行静态分析，依靠的就是类型系统。
多态类型系统
如果一个类型系统允许一段代码在不同的上下文中具有不通的类型，这样的类型系统就叫做多态类型系统。
现代编程语言三种多态形式：
- 参数化多态-实际指泛型
- Ad-hoc多态-特定多态，rust中的trait
- 子类型多态 - java中的子类
