1. foldr定義
foldr f z (x : xs) = f x (foldr f z xs)
foldr f _ [] = _
例子：
foldr + 0 [1 2]
= + 1 (foldr + 0 [2])
= + 1 (+ 2 (foldr + 0 []))
= + 1 (+ 2 0)
= 3
2. foldl定義
foldl f z (x : xs) = foldl f (f z x) xs
foldl f _ [] = _
例子：
foldl + 0 [1 2]
= foldl + (+ 0 1) [2]
= foldl + (+ (+ 0 1) 2) []
= + (+ 0 1) 2
= 3
3. 使用foldr定義foldl
foldl f v xs = foldr (\x g -> (\a -> g (f a x))) id xs v
注：
（1）可以使用一個temp函數(shù)簡化定義首繁，
foldl f v xs = foldr temp id xs v
where temp x g = \a->g (f a x)
（2）Currying以后還可以寫為，
foldl f v xs = foldr temp id xs v
where temp x g a = g (f a x)
例子：
foldl + 0 [1 2]
= foldr temp id [1 2] 0
foldr temp id [1 2]
= temp 1 (foldr temp id [2])
= temp 1 (temp 2 (foldr temp id []))
= temp 1 (temp 2 id)
= temp 1 (\a->id (+ a 2))
= temp 1 (\a->+ a 2)
=\a->(\a->+ a 2) (+ a 1)
=\a->+ (a + 1) 2
foldr temp id [1 2] 0
=(\a->+ (a + 1) 2) 0
=+ (0 + 1) 2
=3
