当参数是列表时，惰性求值如何工作？

根据我的理解，惰性求值是指参数在传递给函数之前不求值，而是仅在实际使用它们的值时才求值。

但在 haskell 教程中，我看到了一个例子。

xs = [1,2,3,4,5,6,7,8] 

doubleMe(doubleMe(doubleMe(xs)))

作者说命令式语言可能会遍历该列表一次并制作一个副本，然后将其返回。然后它会再遍历该列表两次并返回结果。

但在惰性语言中，它首先会计算

doubleMe(doubleMe(doubleMe(1)))

这将返回一个doubleMe(1)，即2. Then 4，最后8.

因此，只有当您真正需要它时，它才会遍历列表。

这让我很困惑。为什么惰性语言不把列表作为一个整体，而是将其拆分？我的意思是我们可以在使用列表或表达式之前忽略它。但我们在使用它的时候需要评估整个东西，不是吗？

像这样的列表[1,2,3,4,5,6,7,8]只是语法糖：1:2:3:4:5:6:7:8:[].

在这种情况下，列表中的所有值都是数字常量，但我们可以定义另一个更小的列表，如下所示：

1:1+1:[]

所有 Haskell 列表都是链表，这意味着它们有一个head and a tail。在上面的例子中，头部是1，尾巴是1+1:[].

如果您只想要列表的头部，则没有理由评估列表的其余部分：

(h:_) = 1:1+1:[]

Here, h指的是1。没有理由评估列表的其余部分（1+1:[]) if h是你所需要的全部。

这就是列表的延迟评估方式。1+1仍然是一个thunk（未计算的表达式）直到需要该值。