Lambda function 如何处理 Haskell 中的列表？

Question

我有这行代码，不太明白为什么结果是[False, False]

i :: [Bool]
i = filter (\x-> (not x)) [False,False,True,True,True] 

我以为它会出现[True,True,True] 。

非常感谢在这里对结果进行简短的解释。 提前致谢

Answer 1

根据文档，

filter ，应用于谓词和列表，返回满足谓词的那些元素的列表，即[...]：

 >>> filter odd [1, 2, 3] [1,3]

定义i的表达式本质上是在说：

从列表[False, False, True, True, True]中过滤出not x为True的布尔值x

• 对于第一个条目， not False is True ，因此它被保留。
• 对于第二个条目， not False又是True ，所以它也被保留了下来。
• 对于剩余的三个条目， not True is False ，因此这些条目将被删除。

结果是[False, False] 。

Answer 2

因为filter保留谓词为真的元素。 这些元素现在是False, False 。