这个 Haskell 代码中的“id”是什么意思？

Question

这个问题来自 Haskell 新手。

我在下面编写代码来检查列表中有多少个True，如果它有even 个True，则返回True，否则返回'False'。

xor =
foldr xor' False
where
xor' True True = False
xor' False False = False
xor' _ _ = True

但是，我在下面找到了一些代码sn-ps，它似乎可以做同样的事情.. 代码如下：

xor :: [Bool] -> Bool
xor = odd . length . filter id 

但我只是不知道id 在上面的代码中是如何工作的，有人可以帮我吗？

Answer 1

id的定义是id x = x，所以filter id和filter (\x -> x)是一样的。即它获取列表中值为True的所有元素。

Answer 2

id函数是恒等函数，定义很简单

id :: a -> a
id x = x

函数filter有类型

filter :: (a -> Bool) -> [a] -> [a]

它接受一个返回布尔值的函数，将该函数应用于列表的每个元素，并保留该函数返回的所有元素True。因此，当您拥有filter id 时，它会过滤返回所有等于True 的元素的列表。