Соответствие шаблону внутри lambda

Question

Я изучаю Haskell. Это тривиальный пример, но я хотел бы понять концепцию, почему я не могу использовать сопоставление шаблонов внутри лямбда-функции в следующем примере (т. Е. Почему функция filterfold работает, но filterfold) дает ошибку времени выполнения:

-- 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

вы можете использовать его, но так как компилятор говорит вам, что вы пропускаете случай (когда вход [])

Смотрите, если вы говорите, z:zs он будет пытаться соответствовать этому шаблону с входным списком - если вы

• ввод [1,2,3] = 1:[2,3] вы получите z=1 и zs=[2,3]
• , но когда вход [] вы не можете получить z и zs так что z:zs = [] (технически они основаны на различных конструкторами-списка типов данных)

Так во время выполнения он не будет знать, как обрабатывать этот случай/шаблон, когда он видит [] и выдаёт исключение.

, если вы внимательно посмотрите на вашем примере вы должны увидеть, что вы никогда не использовать детали в любом случае (то есть z или zs - вы только использовать их в качестве z:zs снова), поэтому я не могу сказать вам, как сделать это лучше

в любом случае вы можете использовать case - выражение внутри от лямбда:

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

или вы можете использовать расширение LambdaCase, чтобы сделать его немного короче.