用于列表的 Haskell foldr

Question

给定以下示例

foldr(\ x y -> ........

如果输入是一个列表，例如 [1,2,3]

什么是x，什么是y？

Answer 1

让我们看一下foldr 的类型。

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

由于您提供了使用 x 和 y 的函数，您可以从类型中看出 x 将是列表中的一个值 ([ 1,2,3])，并且 y 必须是累加器值，您使用 foldr 的第二个参数对其进行初始化。