Nächste Seite:
Einleitung
Aufwärts:
Deklarative (= fortgeschrittene) Programmierung
Vorherige Seite:
Objekt-Versionierung in Git
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
Smallcheck--Beispiel
Typgesteuertes Generieren von Werten
Generieren der Größe nach
Kombinatoren für Folgen
Anwendung I: Generierung von Bäumen
Anwendung II: geordnete Bäume
Weitere Werkzeuge zur Testfallgenerierung
Übung Typklassen und Smallcheck
Johannes Waldmann 2012-06-25