1. 静态类型可以避免隐士类型转换导致的运行时错误，提前暴露问题

类型是一种数据分类，定义了可以对这类数据执行的操作、这类数据的意义以及允许取值的集合。

这里阐述了一种数据驱动的理念，面向数据类型进行程序设计。 定义数据实际上是在定义程序的处理行为，因为本着数据延伸出数据操作的方法。

不可变性是类型系统的一个优势。类型系统在尽可能缩小隐士类型转换。

泛型提供了解耦和重用的机制。

类型还可以让人更好的理解代码。

类型系统的强度是衡量该系统允许多少隐士类型转换。

大多数编程语言使用 void 表示不存在有意义的值。像抛出错误的值，我们认为它不是 不返回有意义的值，而是根本不返回值。