Haskell 为什么在前奏曲中重复的定义是这样的？

重复以下步骤：

repeat :: a -> [a]
repeat x = xs where xs = x:xs

是否有任何理由不使用以下内容

repeat :: a -> [a]
repeat x = x : repeat x

---

（显然，对于许多前奏曲函数有许多等效的定义，但我后面的描述感觉更为明显。我想知道它的这种方式是否有性能或风格的原因。）

这是出于性能和空间复杂性的原因

代码的第一个版本使用显式共享；它基本上看起来像内存中的一个单元素循环链表（代码中的

xs

是一个列表节点，其值为

x

，其尾部指向同一个列表节点）。当您计算列表中越来越多的元素时，它只会重复使用同一个节点

相比之下，第二个版本创建的列表在计算时实际上会在内存中增长，因为对

repeat x

的不同调用总是重新计算（而不是记忆）。在生成的列表末尾，总会有另一个未评估的thunk

。那里的定义使用了

let

，但与

where

的行为相同。