Nächste Seite:
Motivation: Sortieren/Vergleichen)
Aufwärts:
Deklarative (= fortgeschrittene) Programmierung
Vorherige Seite:
Streams in Java8
Typklassen
Unterabschnitte
Motivation: Sortieren/Vergleichen)
Motivation: Numerik
Typklassen (Definition, Verwendung)
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 2014-07-10