On this page:
match

1.15 Pattern-Matching🔗

syntax

(match expr (pattern definition ... expr) ...)

 
pattern = id
  | #t
  | #f
  | string
  | number
  | ...
  | (constructor pattern ...)
Ein match- Ausdruck führt eine Verzweigung durch, ähnlich wie cond. Dazu wertet match zunächst einmal den Ausdruck expr nach dem match zum Wert v aus. Es prüft dann nacheinander jeden Zweig der Form (pattern expr) dahingehend, ob das Pattern pattern darin auf den Wert v passt (“matcht”). Beim ersten passenden Zweig (pattern expr) macht match dann mit der Auswertung voh expr weiter.

Ob ein Wert v passt, hängt von pattern ab: