2.3 Pattern-Matching
syntax
(match expr (pattern definition ... expr) ...)
pattern = ... | empty | (make-pair pattern pattern) | (list pattern ...)
Zu den Patterns aus der "Anfänger"-Sprache kommen noch drei neue hinzu:
Das Pattern empty passt auf die leere Liste.
Das Pattern (make-pair pattern pattern) passt auf Paare, bei denen die beiden inneren Patterns auf first bzw. rest passen.
Das Pattern [(list pattern ...)] passt auf Listen, die genauso viele Elemente haben, wie Teil-Patterns im list-Pattern stehen und bei denen die inneren Patterns auf die Listenelemente passen.