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擴展使它有點短。