Programmtransformationen

Komposition von Funktionen:

(f . g) = \ x -> f (g x)

Ü: Typ von (.). Bem: Notation leider falschherum.

Satz: (wenn map „richtig`` definiert ist, gilt:)

• map id == id
• map (f . g) == map f . map g

Anwendung: Einsparung von Zwischen-Strukturen.