小结

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

▪ 类型系统是一组规则，为编程语言的元素分配并实施类型。

▪ 类型限制了变量的取值范围，所以在一些情况中，运行时错误就被转换成了编译时错误。

▪ 不可变性是类型施加的一种数据属性，保证了值在不应该发生变化时不会发生变化。

▪ 可见性是另外一种类型级别的属性，决定了哪些组件能访问哪些数据。

▪ 泛型编程支持强大的解耦合以及代码重用。

▪ 类型标识符使得阅读代码的人更容易理解代码。

▪ 动态类型（或叫“鸭子类型”）在运行时决定类型。

▪ 静态类型在编译时检查类型，捕获到原本有可能成为运行时错误的类型错误。

▪ 类型系统的强度衡量的是该系统允许在类型之间进行多少隐式转换。

▪ 现代类型检查器具有强大的类型推断算法，使它们能够确定变量或者函数的类型，而不需要我们显式地写出类型。

第2章将介绍基本类型，它们是类型系统的基础模块。我们将介绍如何避免在使用这些类型时常犯的一些错误，以及如何使用数组和引用来构建各种数据结构。