Rekursion über Listen (Übung)

das vordefinierte Rekursionsschema über Listen ist:

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

length = foldr ( \ x y -> 1 + y ) 0

Beachte:

• Argument-Reihenfolge (erst cons, dann nil)
• foldr nicht mit foldl verwechseln (foldr ist das „richtige``)

Aufgaben:

• append, reverse, concat, inits, tails
  mit foldr (d. h., ohne Rekursion)