foldr - 使用地图功能的进一步说明和示例

我看过不同的折叠和折叠以及其他一些折叠,他们解释得相当好.

在这种情况下,我仍然遇到麻烦.

length :: [t] -> Int
length list = foldr (+) 0 (map (\x ->1) list)

有人可以一步一步地尝试向我解释.

而且foldl也将如何运作.

(map (\x ->1) list)获取列表并将其转换为1值列表:

(map (\x ->1) ["a", "b", "c"]) == [1, 1, 1]

现在,如果你在原来的foldr中替换它,它看起来像这样:

foldr (+) 0 [1, 1, 1]

起点是0聚合函数(+).当它遍历列表中的每个元素时,您基本上是将所有1值相加,这就是您最终返回长度的方式.

foldr从右边开始,然后回到列表的头部.foldl从左侧开始并通过列表.因为聚合函数是(+) :: Num a => a -> a -> a,左右参数的排序在(+)逻辑上是无关紧要的(foldl由于懒惰的评估,有大量列表的堆栈溢出问题的警告)