haskell 的foldr 总是采用两个参数的lambda 吗？

Haskell 新手在这里

我正在用 haskell 解决这个问题：

(**) Eliminate consecutive duplicates of list elements.
If a list contains repeated elements they should be replaced with a single copy of the element. The order of the elements should not be changed.

Example:
* (compress '(a a a a b c c a a d e e e e))
(A B C A D E)

解决方案（我必须查找）用户文件夹：

compress' :: (Eq a) => [a] -> [a]
compress' xs = foldr (\x acc -> if x == (head acc) then acc else x:acc) [last xs] xs

根据解决方案，这个foldr需要两个参数，x和acc。似乎所有的foldr 都采用这些参数；这有什么例外吗？就像一个需要 3 个或更多的文件夹？如果不是，这个约定是否多余？可以用更少的代码编写公式吗？

foldr接受 2 个参数的函数，但这并不妨碍它接受 3 个参数的函数，前提是该函数具有正确的类型签名。

如果我们有一个函数

g :: x -> y -> z -> w

With

foldr :: (a -> b -> b) -> b -> [a] -> b

我们想要经过的地方g to foldr, then (a -> b -> b) ~ (x -> y -> z -> w) (where ~是类型相等）。自从->是右结合的，这意味着我们可以写g的签名为

x -> y -> (z -> w)

其意义是一样的。现在我们已经生成了一个具有两个参数的函数，该函数返回一个具有一个参数的函数。为了将其与类型统一a -> b -> b，我们只需要把参数排列起来：

a ->   |  x ->
b ->   |  y -> 
b      |  (z -> w)

这意味着b ~ z -> w, so y ~ b ~ z -> w and a ~ x so g的类型确实必须是

g :: x -> (z -> w) -> (z -> w)

implying

foldr g :: (z -> w) -> [x] -> (z -> w)

这当然不是不可能的，尽管可能性更大。我们的累加器是一个函数，对我来说，这需要用 DiffList 来演示：

type DiffList a = [a] -> [a]

append :: a -> DiffList a -> DiffList a
append x dl = \xs -> dl xs ++ [x]

reverse' :: [a] -> [a]
reverse' xs = foldr append (const []) xs $ []

注意foldr append (const []) xs返回我们应用的函数[]反转列表。在本例中，我们为该类型的函数指定了一个别名[a] -> [a] called DiffList，但这实际上与写的没有什么不同

append :: a -> ([a] -> [a]) -> [a] -> [a]

这是一个有 3 个参数的函数。