data-structures - 无限数据结构有哪些引人注目的用例？

Question

某些语言(Haskell、Clojure、Scheme 等)具有惰性求值。惰性求值的“卖点”之一是无限数据结构。这有什么了不起的？能够处理无限数据结构显然具有优势的案例有哪些？

Answer 1

举两个例子，一大一小:

Why Functional Programming Matters约翰·休斯 (John Hughes) 的国际象棋游戏就是一个很好的例子。国际象棋游戏的移动树实际上并不是无限的，但它足够大以至于它也可能是无限的(称之为“接近无限”)。在严格的语言中，您实际上不能将其视为一棵树，因为没有足够的空间来存储整棵树。但是在惰性语言中，您只需定义树，然后定义“nextMove”函数以尽可能地遍历它。惰性评估机制负责处理细节。

这个小例子只是简单地将索引号与列表中的每个项目相关联，因此 ["foo", "bar", "baz"] 变为 [(1,"foo"), (2,"bar"), ( 3，“巴兹”)]。在严格的语言中，您需要一个循环来跟踪最后一个索引并检查您是否在最后。在 Haskell 中，您只需说:

zip [1..] items

zip 的第一个参数是一个无限列表。您无需提前计算出需要多长时间。