Bu Haskell kodunda "id" ne anlama geliyor?

Question

Bu soru bir Haskell acemi yöneticisinden.

başka türlü '`yanlış dönmek nasıl bir listede True birçok kontrol etmek için aşağıdaki kod yazmak ve bu True ait even sayısına sahipse, o zaman True dönün.

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

Ancak, bazı kod parçacıkları aşağıda buldum ve onu aynı şeyi yapabilir gibi görünüyor .. İşte kodudur:

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

Ama ne kadar id eserler hiçbir fikrim yok Yukarıdaki kodda, bana biraz yardım edebilir misiniz?

Answer 1

id'un tanımı id x = x, yani filter id, filter (\x -> x) ile aynıdır. Bu, değeri True olan listenin tüm öğelerini alır.

Answer 2

id fonksiyon kimlik işlevi

fonksiyon filter tip bir boolean döndüren bir işlev alır

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

vardır, her üzere bu işlevi uygular

id :: a -> a 
id x = x 

çok basit tanımıyla, bir listenin öğesi ve işlevi True döndüren tüm öğeleri tutar. Yani, filter id olduğunda, True'a eşit tüm öğeleri döndüren listeyi filtreler.