D: Deklaration, M : Muster (bindet Variablen)
D -> Name M .. M = A -- Bindet (Funktions-)Namen M -> Name -- Bindet Variablen-Namen | Konstruktor M .. M -- Matching | M Konstruktor-Op M -- .. | '_' -- Wildcard
Wildcard:
length [] = 0 length (_ : xs) = 1 + length xs |
Nachtrag:
A -> case A of M -> A ...