Parallele Folds

nach Definition:

  foldr f z [x1, x2, x3]
= f x1 (f x2 (f x3 z)))

wenn f assoziativ ist, dann

= f (f x1 x2) (f x3 z)

und das kann man parallel ausrechnen.