器，就如同名字之于人脑。可以给一整段存储器空间冠以一个变量，这样便无需对每一字节进行个别操作。变量可以指代任何东西——阀门参数、社会安全号码，或是一段清空硬盘的子程序。

不幸的是，没有什么办法可以判断某个变量所指向的数据是否存在，以及是否与变量所声称的一致。在比特这个层次上，无论是哥斯达黎加蝴蝶的数量，还是澳大利亚外海热带风暴的速度，看起来都没太大区别。

这一点困扰着所有的程序员，因为绝大部分程序对正确性所能做出的那一点点保证完全系于变量的有效性之上。要是你能让计算机误以为某个为空值的变量指向的是有意义的数据的话，那什么事情都有可能发生。

为了让程序员不至于无法区分确凿无疑的真实和光怪陆离的灾难，变量类型系统应运而生。这是一种嵌入到编程语言当中的数学构造，可以确保某个代表节流阀参数的变量不会指向别的什么东西，比方说汽车目前的加速度。类型系统以绝对可靠的秩序来抚慰程序员，让他们不至于因为面对混沌的比特海洋而发疯。

像很多现代的汽车一样，泰勒车上的定速巡航系统也是由运行在微型计算机上的专门程序控制的。

这个程序能否正确运行显然至关重要。编写它的那位细心的程序员非常清楚自己的工作成果直接关系到他人的身家性命。不仅如此，他使用的编程语言也拥有无比强大的类型系统，甚至在数学上可以证明，无论编程者有多么狡猾或粗心，只要某段程序通过了类型检测，那就可以肯定，它永远都不会把某个被定义为油量的变量指向控制换挡的子程序。在比特的世界里，这近乎无懈可击。

所有这一切都说明，当初泰勒有充分的理由把汽车托付给定速巡航系统。

“两千年以前，”泰勒继续读下去，“大致是在耶稣生活的时代，在仙后座天域有一颗衰老濒死的恒星。它在一个冬季的夜晚爆发，成了一颗超新星。”

这次爆发令无数质子与氢原子核高速飞离那颗恒星的残躯，我们把它们称为宇宙射线。其中的绝大部分注定要在虚空中穿行，直至时间的尽头。我们不必为它们的命运介怀。

但其中一个质子在黑暗中旅行了两千年，在那个阳光灿烂的七月的白天来到了地球。它穿透了电离层，优雅地避开了地球磁力线，随后遇上的逐渐浓密的空气也没怎么降低它的速度。本来它会勇往直前，一头扎到加利福尼亚的沙漠里面，但是某样东西挡住了它的去路。

那一瞬间，利迪娅正在安睡，泰勒的视线正从路面转到利迪娅身上。睡梦中，她脸上的蒙恩之光依然如故。就在这一刻，他们的车拦截了那个自古代死亡恒星逃逸的质子。