Nächste Seite:
Einleitung
Aufwärts:
Deklarative Programmierung Vorlesung Wintersemester
Vorherige Seite:
Beispiel: Partitionen
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
Kanonische Show/Read-Instanzen
Die Wahrheit über Read
Automatisches Ableiten von Instanzen (I)
Default-Implementierungen
Generische Instanzen (I)
Generische Instanzen (II)
Überlappende Instanzen
Überlappende Instanzen (II)
Typklassen als Prädikate
Multi-Parameter-Klassen
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 2010-01-25