foldl foldr

今天又继续多年没看的haskell了

想起之前看书时候提到的

foldr可以用于无穷序列，而foldl不行。一般情况下foldl效率比foldr高。

之前一直没怎么理解。

 

myfoldl f z [] = z
myfoldl f z (x:xs) = myfoldl f (f z x) xs

myfoldr f z [] = z
myfoldr f z (x:xs) = f x (myfoldr f z xs)

 

自己实现了一下,明显就可以看出myfoldl是一个尾递归，所以效率高

myfoldr在某些运算，比如and 运算，在x为false就可以结束了。

所以在某种情况下myfoldr可以用于无穷序列

 

---

{- date:2013-02-21 -}

今天写一个小程序的时候发现foldl,foldr是不能互换的（某些情况下

可能是自己用的少，所以以前没发现吧！

所以翻出了这篇。

 

看foldl , foldr的那个函数！

acc的位置是不一样的

foldl的acc应该是左边那个参数！

foldr的acc应该是右边那个参数！

 

let a = "abcEG"

 

foldl (\acc x -> acc + (if (isUpper x) then 1 else 0)) 0 a

foldr (\x acc -> acc + (if (isUpper x) then 1 else 0)) 0 a