列表理解评估

Question

我不明白为什么下面两种情况会有所不同？因为懒惰评估？

1)

Main> [x:xs | x:xs <- tails [1,2,3]]
=> [[1,2,3], [2,3], [3]]

2)

Main> [x:xs | x:xs' <- tails [1,2,3], x':xs <- tails [1,2,3]]
=> [[1,2,3],[1,3],[1], [2,2,3],[2,3],[2],[3,2,3],[3,3],[3]]

Answer 1

它们的定义不同。展示这一点的最好方法是举一个例子。列表推导式试图找到所有可能的变量集，这些变量可以从列表中选择而不违反条件。如果您有多个变量，它将返回它们的每一种组合。例如：

[(x,y) | x <- [1,2,3], y <- [1,2,3]]

收益率：

[(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)]

我们能看到什么？首先，选择第一个列表中的一个元素，而不是第二个列表中的一个元素。结果是选择 x 和 y 的所有可能方式的列表。

所以你的第二个语句当然必须产生第二个结果。

Answer 2

不，与惰性评估无关。

考虑第三种情况：

Prelude Data.List> [x:xs | x:xs' <- tails [1,2,3], x':xs <- tails [1,2,3], x == x']
[[1,2,3],[2,3],[3]]

Answer 3

另一种看待它的方式：

ghci> :m +Data.List
ghci> :m +Control.Applicative
ghci> let l1 = [x | x:xs <- tails [1,2,3]]
ghci> l1
[1,2,3]
ghci> let l2 = [xs | x:xs <- tails [1,2,3]]
ghci> l2
[[2,3],[3],[]]

您的第一个理解将 x 和 xs 绘制为“对”，有点将它们“压缩”在一起。

ghci> zipWith (:) l1 l2
[[1,2,3],[2,3],[3]]

您的第二个推导式绘制了 x 和 xs 的所有组合，并将它们与 (:) 组合起来。

ghci> (:) <
gt; l1 <*> l2
[[1,2,3],[1,3],[1],[2,2,3],[2,3],[2],[3,2,3],[3,3],[3]]