Nächste Seite: Einleitung Aufwärts: Deklarative Programmierung Vorlesung Wintersemester Vorherige Seite: Einordnung

Polymorphie/Typklassen

Unterabschnitte

Einleitung
Der Typ von sort
Instanzen
Typen und Typklassen
Wörterbücher
Wörterbücher (II)
Vergleich Polymorphie
Klassen-Hierarchien
Die Klasse Show
Generische Instanzen (I)
Generische Instanzen (II)
Benutzung von Typklassen bei Smallcheck
Typgesteuertes Generieren von Werten
Generieren der Größe nach
Kombinatoren für Folgen
Anwendung I: Generierung von Bäumen
Anwendung II: geordnete Bäume

Johannes Waldmann 2011-01-18