Haskell列表被冻结

Question

我是Haskell的新手，在尝试理解一些东西时玩弄。如果我这样做，我收到了一个问题：

list1 = [1..] 
list2 = [x | x <- list1, x <= 4] 
print list2 

返回[1,2,3,4。它没有末端括号，所以就好像列表正在加载或冻结一样。下面是它的外观：

Prelude> print list2 
[1,2,3,4 

这是怎么回事？

Answer 1

你知道列表单调递增，但Haskell没有。使用takeWhile，而不是一个列表理解，使list1可以停止正在评估一旦你找到一个值大于4

> list1 = [1..] 
> list2 = takeWhile (<= 4) list1 
> print list2 
[1,2,3,4] 

Answer 2

会发生什么事是list1仍在计算，并为list1谓词x <= 4的每个新元素被应用，这是false为每x4后。

因此，简言之：

印出list2解释需要计算list1，并检查各列表项，这是<= 4，因为list1是它的无穷计算必须采取无限长的时间。

Answer 3

您正在采取list1中的每个元素，并且对于每个小于4的元素，使其成为list2中的条目。看看你在list1有多少元素。