Haskell中列表推导是怎么工作的

在Haskell中，列表推导是一种用来生成新列表的表达式。它的基本形式是 [ expression | generator1, generator2, ..., generatorN ]。其中，expression 是一个关于生成器的表达式，generator 是一个形如 pattern <- list 的表达式，它用来从 list 中取出元素，并将其绑定到 pattern 上。

列表推导的工作流程如下：

1. 从左到右依次处理生成器，取出 list 中的元素，并将其绑定到 pattern 上。
2. 对于每一组绑定的值，计算 expression 的值，并将其加入到结果列表中。
3. 重复上述步骤，直到所有生成器都被处理完毕。
4. 返回最终的结果列表。

举个例子，下面是一个简单的列表推导示例：

-- 生成一个包含 1 到 10 的偶数的列表 evens = [ x | x <- [1..10], x `mod` 2 == 0 ] 

在这个例子中，我们使用了一个生成器 x <- [1..10] 来遍历从 1 到 10 的所有元素，然后通过筛选条件 x mod 2 == 0 来选取偶数，最终得到结果为 [2, 4, 6, 8, 10]。