haskell - 如何模式匹配列表的末尾？

Question

假设我想删除列表末尾的所有零：

removeEndingZeros :: (Num a, Eq a) => [a] -> [a]
removeEndingZeros (xs ++ [0]) = removeEndingZeros xs
removeEndingZeros xs          = xs

由于参数中的运算符，这不起作用(++)。如何通过模式匹配确定列表的结尾？

Answer 1

有一个功能Data.List可以做到这一点：

dropWhileEnd :: (a -> Bool) -> [a] -> [a]
dropWhileEnd p = foldr (\x xs -> if p x && null xs then [] else x : xs) []

所以你可以删除尾随零

dropWhileEnd (== 0)

---

另一个非常相似的功能可以这样实现：

dropWhileEnd2 :: (a -> Bool) -> [a] -> [a]
dropWhileEnd2 p = foldr (\x xs -> if null xs && p x then [] else x : xs) []

dropWhileEnd2 p具有与 完全相同的语义reverse . dropWhile p . reverse，但可以合理地预期会更快。dropWhileEnd与其他具有不同的、不可比较的严格性属性（在某些方面更严格，在其他方面更不严格）。

你能弄清楚在什么情况下每个都可以更快吗？