Haskell - 为什么这个列表理解会返回一个无限列表？

Question

[3 * x | x <- [1 ..], 3 * x < 20]

我真的不明白为什么这会给

[3,6,9,12,15,18

并没有找到尽头

Answer 1

的语义

[3 * x | x <- [1 ..], 3 * x < 20]

是尝试所有元素[1..]并保留那些满足过滤条件的元素3*x<20。

人类可以看到，在第一个x伪造条件之后，尝试所有更大的值是没有意义的，但是 Haskell 无论如何都会尝试这些，并陷入一种无限循环。

这是因为，在一般情况下，条件可能会再次变为真，例如

[3 * x | x <- [1 ..], 3 * x < 20 || x == 1000000 ]

一般来说，检测是否没有更多的解决方案是不可判定的，所以 Haskell 和任何其他编程语言一样，不能选择在最后一个解决方案之后停止。

如果您希望列表在不满足过滤条件的第一个值之后停止，请使用takeWhile：

takeWhile (< 20) [3 * x | x <- [1 ..]]