Muster
2.3.1 Einführung 2.3.2 Ausdrücke finden, die zu einem Muster passen 2.3.3 Benennen von Bestandteilen von Mustern 2.3.4 Spezifizieren der Typen von Ausdrücken in Mustern 2.3.5 Setzen von Nebenbedingungen für Muster 2.3.6 Muster, die Alternativen enthalten 2.3.7 Flache und ungeordnete Funktionen 2.3.8 Funktionen mit einer variablen Anzahl von Argumenten 2.3.9 Wahlfreie Argumente und Vorgabe-Argumente 2.3.10 Konstruktion von Funktionen mit wahlfreien Argumenten 2.3.11 Wiederholte Muster 2.3.12 Wortgetreue Muster 2.3.13 Muster für einige übliche Typen von Ausdrücken 2.3.14 Ein Beispiel: Definition einer eigenen Integrations-Funktion