8.1　什么是类型

类型是什么？这很难讲。{[要是抽象地来解释想必效果也一般 1。

1数学家伯特兰·罗素（Bertrand Russell）注意到对集合的定义会产生悖论，为了回避这一问题，他提出了类型理论。如果这样抽象地介绍，大家能理解么？

类型是人们给数据附加的一种追加数据。计算机中保存的数据是由 on 和 off 或 0 和 1 的组合来表达的 2。至于 on 和 off 的组合（比特列）是如何表达各种数值的，哪种比特列表示哪种值，这些只不过是人们简单的约定事项而已。同样的比特列，当其被解释为的数据的类型不同时，得到的数值是不同的。为了避免这一情况的发生，人们追加了关于数据的类型信息，这就是类型的起源。

2既有把数据当做连续量处理的模拟计算机，也有按照 10 进制计算的 ENIAC，这里不多深入介绍。

为了把类型的意义具体化，本章我们先来学习整数和小数是如何用比特列来表现的。随后，我们会看到模样相同的比特列可能值是不同的，而如果把类型搞错了，将无法进行计算。最后，在探讨了类型作为保证不出错的方法的必要性之后，我们来谈谈类型后来是如何发展演化的。