Dlaczego "Data.List.null" używa "foldr"?

Question

W moim postrzeganiu początkujący, można wdrożyć Data.List.null jak:

null [] = True 
null _ = False 

Patrząc rzeczywiste źródło w Hackage widzę:

null = foldr (\_ _ -> False) True 

znajdę to na pewno ciekawy, mam coś, czego brakuje powinien się dowiedzieć, ale co?

Answer 1

null to metoda klasy Foldable:

GHCi> :t null 
null :: Foldable t => t a -> Bool 

Realizacja cytujesz jest the default one, przeznaczona do pracy dla wszystkich wystąpień Foldable nawet jeśli nie określają konkretnej realizacji:

class Foldable t where 
    -- etc. 
    null :: t a -> Bool 
    null = foldr (\_ _ -> False) True 
    -- etc. 

Jednak list instance, zastępuje domyślną implementację:

instance Foldable [] where 
    -- etc. 
    null = List.null 
    -- etc. 

List.null kolei is defined in GHC.List w prostszy sposób, że oczekiwany:

null     :: [a] -> Bool 
null []     = True 
null (_:_)    = False