lambda内模式匹配

Question

我正在学习Haskell。这是一个简单的例子，但我想理解为什么我不能在下面的例子中使用lambda函数内部的模式匹配（即，为什么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扩展使它有点短。