Vorlesung: Praxis der Funktionalen Programmierung

Typkonstruktoren, Arten

Listen: [a]

kennen wir schon. Die eckigen Klammern (der List-Konstruktor) macht aus einem Typ a einen Typ [a]. Das heißt, List hat die Art (Kind) * -> *. Solche Kind-Deklarationen benutzen wir beim Beschreiben von Programmen, sie sind aber selbst nicht Teil der Sprache.

Tupel: (a,b), (a,b,c), ...

Das Komma (die Kommas) sind der Konstruktor. Das zweistellige Komma (der Paar-Konstruktor) hat die Art * -> * -> *.

Funktionen: a -> b

alle (stetigen) Funktionen von Typ a nach Typ b.

Typ-Ausdrücke

Einfacher Typ-Ausdruck

Typname (vordefinierter oder nutzerdefinierter)

Zusammengesetzter Typ-Ausdruck:

Typkonstruktor mit Argumenten (Anzahl entsprechend der Art des Konstruktors)