y = g ( f x ).
Dieses ist jedoch schlecht lesbar, ins besondere, wenn mehrere Funktionen aneinander gehängt werden sollen.
Der Operator . verbindet zwei Funktionen von rechts nach links.
Beispiel: Die Funktion fgh soll die Funktion h auf das Ergebnis der Funktion g anwenden. g wird auf f von x angewand.
f :: TypA -> TypB
g :: TypB -> TypC
h :: TypC -> TypD
fgh :: TypA -> TypD
(1) fgh x = h ( g ( f x ) )
(2) fgh x = h . g . f x
(1) ist die normale Schreibweise.
(2) ist die Definition mit Operator . und dadurch lesbarer.