1.2　类型系统的优点

因为数据最终都是0和1，所以数据的属性，例如，如何解释数据、数据是否可变，以及数据的可见性，都是类型级别的属性。如果把一个变量声明为数字，那么类型检查器会确保我们不会把它的数据解释为一个字符串。如果将一个变量声明为私有或者只读，那么虽然其数据本身在内存中与公有可变数据没有区别，但是类型检查器会确保我们不会在私有变量的作用域之外引用该变量，或者试图修改只读的数据。

类型的主要优点在于正确性、不可变性、封装、可组合性和可读性。这5种优点是优秀的软件设计和行为的根本特性。系统中总有出现混乱或者无序状态的倾向，而上述特性则起到抗衡这种倾向的作用。