リストを折りたたむには、4 つの方法があります。
リストの右側から折り畳み、右側に再帰項があります
foldrr (-) 100 [1..10] = 1 - (2 - (3 - (4 - (5 - (6 - (7 - (8 - (9 - (10 - (100)))))))) ))) = 95
foldrr :: (a -> b -> b) -> b -> [a] -> b
foldrr step zero (x:xs) = step x (foldrr step zero xs)
foldrr _ zero [] = zero
リストの右側から折り畳み、左側に再帰項を配置します
foldrl (-) 100 [1..10] = (((((((((100) - 10) - 9) - 8) - 7) - 6) - 5) - 4) - 3) - 2 ) - 1 = 45
foldrl :: (a -> b -> a) -> a -> [b] -> a
foldrl step zero (x:xs) = step (foldrl step zero xs) x
foldrl _ zero [] = zero
リストの左側から折り畳み、右側に再帰項を配置します
foldlr (-) 100 [1..10] = 10 - (9 - (8 - (7 - (6 - (5 - (4 - (3 - (2 - (1 - (100)))))))) ))) = 105
foldlr :: (a -> b -> b) -> b -> [a] -> b
foldlr step zero (x:xs) = foldlr step (step x zero) xs
foldlr _ zero [] = zero
左に再帰項があるリストの左から折り畳む
foldll (-) 100 [1..10] = (((((((((100) - 1) - 2) - 3) - 4) - 5) - 6) - 7) - 8) - 9 ) - 10 = 45
foldll :: (a -> b -> a) -> a -> [b] -> a
foldll step zero (x:xs) = foldll step (step zero x) xs
foldll _ zero [] = zero
foldrこれらの折り目のうち 2 つだけが、およびとして Prelude になりfoldlました。折り畳みを 2 つだけ含める理由はありましたか? また、その 2 つの理由は?