Haskell学习笔记--foldl/flodr/高阶函数

Haskell学习笔记--foldl/flodr

 

foldl :: (b->a->b)->b->[a]->b 

           f  x  y       x0   [y_i] result 

foldl f v [] = v

foldl f v (x:xs) = foldl f (f v x) xs

可以理解为从从头到尾使用  f 

 

 

 

foldr :: (a->b->b)->b->[a]->b 

            f  x  y       x0   [y_i] result

foldr f v [] = v

foldr f v (x:xs) = f x (flodr f v xs)

可以理解为从从尾到头使用  f 

 

例:

1.sum = foldr （+）0

 

2.map f xs = foldr ( (:) . f ) [] xs （ . 操作符右结合

也就是

map f = foldr (\x y -> (f x): y) []  

 

3. reverse :: [Int] -> Int 

reverses :: [Int] -> [Int]

reverses = foldr ( \x y -> y ++ [x] ) []  

 

注意这里用的是++ 而不是 ：

++：链接两个list

：连接元素和list

 

补充：用 foldr 实现 flodl 

  

 

推导见一篇写的很好的博客 https://blog.csdn.net/WinterShiver/article/details/103308165

 

 这个也不错 https://blog.csdn.net/yi0wu/article/details/7464928