foldr, foldl, reduce

• Rechnung beginnt am rechten Ende, entspricht dem natürlichen Rekursionsschema:

  foldr :: (a -> b -> b) -> b -> [a] -> b
  foldr (-) 0 [1,2,3] = 2
  

• Rechnung beginnt am linken Ende:

  foldl :: (b -> a -> b) -> b -> [a] -> b
  foldl (-) 0 [1,2,3] = -6
  

• für assoziative Operation, beliebige Klammerung:

  reduce :: (a -> a -> a) -> [a] -> a
  foldb :: (a -> b) 
        -> (b -> b -> b) -> [a] -> b