泛函编程（13）－无穷数据流－Infinite Stream

   上节我们提到stream和list的主要分别是在于stream的“延后计算“（lazy evaluation）特性。我们还讨论过在处理大规模排列数据集时，stream可以一个一个把数据元素搬进内存并且可以逐个元素地进行处理操作。这让我不禁联想到我们常用的数据搜索读取方式了：大量的数据存放在数据库里，就好像无穷的数据源头。我们把数据读取方式（那些数据库读写api函数）嵌入stream的操作函数内，把数据搜索条件传入stream构造器（constructor）中形成一个对数据搜索操作的描述。这个产生的stream只有在我们调用符合搜索条件的数据库记录时才会逐个从数据库中读取出来。这可是一个非常熟悉的场景，但我们常常会思考它的原理。

    很多时我们都需要无穷数据流（infinite stream），以直接或一些算法方式有规则地重复产生数据。无穷数据流被定义为“反递归”（corecursive）的：递归的特性是从复杂到简单并最后终止，而无穷数据流的特性却是从简单到复杂并永远不会终结。

我们先从简单的无穷数据流开始：数字产生器：

ones函数可以产生一个无穷的数据流。每个元素都是常数1。从这个简单的例子我们可以稍微领略反递归的味道：cons(1,ones),通过重复不断运算cons来产生无穷数据。

我们可以把一些算法嵌入无穷数据流产生过程：

从以上这些例子可以看出：我们不断重复的在cons。而cons的参数则是算法的实现结果。

以下的unfold是一个最通用的stream构建函数（stream builder），我们需要做些重点介绍：

unfold的工作原理模仿了一种状态流转过程：z是一个起始状态，代表的是一个类型的值。然后用户（caller）再提供一个操作函数f。f的款式是：s => option[(a,s)]，意思是接受一个状态，然后把它转换成一对新的a值和新的状态s，再把它们放入一个option。如果option是none的话，这给了用户一个机会去终止运算，让unfold停止递归。从unfold的源代码可以看到f(z) match {} 的两种情况。需要注意的是函数f是针对z这个类型s来操作的，a类型是stream［a]的元素类型。f的重点作用在于把s转换成新的s。我们用一些例子来说明：

constantbyunfold产生一个无穷的常数：a同时代表了元素类型和状态。_ => some((a,a))意思是无论输入任何状态，元素值和状态都不转变，所以unfold会产生同一个数字。另外f的结果永远不可能是none，所以这是一个无穷数据流（infinite stream）。

再来一个例子：

frombyunfold产生一个从s开始的无穷整数序列：s 同时代表了元素类型和状态。_ => some((s,s+1))表示新a值是s,新状态是s+1，所以新s = s + 1。状态转变原理可以从改变 s+1 到 s+2 运算后产生的结果得以了解：

再试一个不同类型的状态例子：

在以上的例子里：s类型为tuple，起始值(0,1)，元素类型a是int。函数f: int => option[(int, int)]。f函数返回新a=a1, 新状态s (a2, a1+a2)。由于状态是个tuple类型，(a1,a2)是个模式匹配操作，所以必须加上case。s=(0,1) >>> (a,s)=(0,(1,0+1)) >>>(1,(1,1+1))>>>(1,(2,2+1))>>>(2,(3,2+3))>>>(3,(5,3+5))>>>(5,(8,5+8))>>>(8,(13,8+13))从以上推断我们可以得出a>>>0,1,1,2,3,5,8,13，而状态s>>>(0,1),(1,1),(1,2),(2,3),(3,5),(5,8)...不断变化。

在来个更体现状态转变的例子：用unfold实现的map函数 

s类型即uncons类型>>>option[(a, stream[a])], uncons的新状态是 some((t.head, t.tail))。因为我们采用了数据结构嵌入式的设计，所以必须用uncons来代表stream，它的下一个状态就是some((t.head, t.tail))。如果使用子类方式cons(h,t)，那么下一个状态就可以直接用t来表示，简洁多了。

 再看看还有什么函数可以用unfold来实现吧：

风格基本上是一致的。

写完这些例子才有时间静下来想了一下：费了这么大劲搞这个无穷数据流到底能干什么呢？作为数据库搜索的数据源吗，这个可以用普通的stream来实现。由于无穷数据流是根据一些算法有规则的不停顿产生数据，那么用来搭建测试数据源或者什么数学统计模式环境道是是可以的。想到不断产生数据，那么用来画些动态的东西也行吧，那在游戏软件中使用也有可能了。