Haskell Streams（Comonadic）：无限？

Question

我已经看到流被用作共单子的默认示例，但我不太清楚它们是如何无限的，但不是。

假设我们有数据构造函数 (from here)

data Stream a = a :> Stream a

我们如何最终完成一个流？我们在最后写一个未定义的吗？我知道语言是懒惰的，但必须在某个地方切断结，对吧？我错了吗？

Answer 1

流本质上是无限的；你不能创建一个有限的流。比较Stream 和List：

data List   a = Empty | a :  List a
data Stream a =         a :> Stream a

由于Empty 构造函数，您可以创建一个有限列表；可以在不引用另一个 List 值的情况下创建一个 List 值。另一方面，Stream 值只能使用另一个 Stream 值创建。 任何时候当你对Stream 进行模式匹配时，你会得到一个a 类型的值和另一个Stream 值。

“完成”一个流仅仅意味着您停止从中提取值，而不是您曾经到达流的“末端”。

实际上，这意味着您无法在内存中实例化完整的流；您只能按需构建它，通常是通过在 :> 构造函数上进行模式匹配时调用函数来生成流的剩余部分。