haskell - Haskell 中的 x<-xs 是什么意思？

Question

在我的一门类(class)中，我遇到了这个:

numbers xs = [x | x<−xs , even x] 

我知道它需要一个数字列表并创建另一个仅由原始列表中的偶数组成的列表。它到底是怎么做到的？什么是x<-xs什么意思？

Answer 1

这是一个 list comprehension其中符号被设计为类似于 set builder notation使用 token <-对应于程式化的小写希腊字母 epsilon，它是集合成员的标准符号。当我阅读列表理解时，我倾向于阅读 <-作为“绘制自”，所以我会解析 [x | x<−xs , even x]作为“所有 x 的列表，使得 x 从 xs 中提取并且 x 是偶数”(, 对应于 and 并且用于添加条件，而不仅仅是从中提取的列表中的成员资格)。