7.4

三种列表：

finite list ，有限列表，以 [] 结尾，例如  1 : 2 : 3 : [] ，也记作 [1, 2, 3] 。
infinite list，无限列表，没有结尾（以 ... 表示），例如 [1, 2, 3, ...] 。
partial list，部分列表，列表的末尾可以通过添加（经过计算的）元素来延伸，使用一个占位符表示正在计算（或者等待计算中）的元素，例如 1 : 2 : 3 : (wait) 。
Every infinite list is the limit of an infinite sequence of partial lists. 

每个 infinite list 都只是某个 partial list 的 infinite sequence 的一个 limit 而已。
Now it turns out that if xs_1, xs_2, xs_3, ... is an infinite sequence whose limit is xs , and f is a computable function, then f xs_1 , f xs_2 , f xs_3 , ... is an infinite sequence whose limit is f xs . This property, call continuity , is not true for arbitrary function, but true for all computable functions.
对于无限列表 [xs_1, xs_2, xs_3, ...]  和 computable 函数 f 来说， f xs_1, f xs_2, f xs_3, ... 就是被 f xs 所 limit 的无限序列。这一属性称为 continuity 。