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）所以我无法告诉您如何操作更好

无论如何，您都可以在 lambda 中使用 case - 表达式：

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

或者您可以使用LambdaCase 扩展名使其更短。