`foldr` 和 `foldl` 的定義中使用了哪些類型的遞歸？

Question

foldr   ::  (a  ->  b   ->  b)  ->  b   ->  [a] ->  b
foldr   f   v   [] =    v
foldr   f   v   (x:xs)  =   f   x   (foldr  f   v   xs)

和

foldl   ::  (a  ->  b   ->  a)  ->  a   ->  [b] ->  a
foldl   f   v   [] =    v
foldl   f   v   (x:xs)  =   foldl   f   (f  v   x)  xs

似乎使用不同種類的遞歸。

foldr和foldl的定義中使用了哪些遞歸？

謝謝。

Answer 1

foldl使用尾遞歸。

foldr使用受保護的遞歸，遞歸由f的懶惰（如果有）保護。