如何模式匹配列表的末尾

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具有与其他属性不同的、不可比拟的严格性属性（它在某些方面更严格，在其他方面则不那么严格）。

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