Muster passend in Lambda

Question

Ich lerne Haskell. Dies ist ein triviales Beispiel, aber ich würde gerne das Konzept verstehen, warum ich den Mustervergleich in der Lambda-Funktion im folgenden Beispiel nicht verwenden kann (dh warum führt die Filterfold-Funktion, aber Filterfold, einen Laufzeitfehler aus):

-- Runs 
filterfold' :: (a -> Bool) -> [a] -> [a] 
filterfold' p zs = foldr (\y zs -> if (p y) then y:zs else zs) [] zs 

-- Runtime error: Non-exhaustive patterns in lambda 
filterfold :: (a -> Bool) -> [a] -> [a] 
filterfold p (z:zs) = foldr (\y (z:zs) -> if (p y) then y:(z:zs) else (z:zs)) [] (z:zs) 

Answer 1

Sie können es verwenden, aber wie der Compiler Sie sagt Ihnen, einen Fall fehlen (wenn der Eingang [])

sehen Sie, wenn Sie z:zs sagen, es wird versuchen, dieses Muster zu passen mit der Eingabe-Liste - wenn Sie

• Eingabe [1,2,3] = 1:[2,3] Sie erhalten z=1 und zs=[2,3]
• aber wenn der Eingang [] Sie kein z und zs so dass z:zs = [] (technisch sie basieren auf unterschiedlichen Herstellern der Liste-Datentyp)

Also zur Laufzeit wird es nicht kennen lernen wie man mit diesem Fall/Muster umgehen kann, wenn es [] sieht und die Ausnahme auslöst.

wenn man genau an Ihrem Beispiel aussehen sollten Sie sehen, dass Sie sowieso nie die Teile tatsächlich nutzen (was bedeutet, z oder zs - man kann sich nur als z:zs wieder verwenden), so kann ich Ihnen nicht sagen, wie es besser machen

trotzdem können Sie die case verwenden - Ausdruck innerhalb eines Lambda:

... = foldr (\ x zs = case zs of 
         z:zs -> ... 

oder können Sie die LambdaCase Erweiterung verwenden, um es kürzer etwas zu machen.