chickadee » matchable » match-letrec

(match-let [var] ((pat exp) …) body …)syntax
(match-let* ((pat exp) …) body …)syntax
(match-letrec ((pat exp) …) body …)syntax

The match-let, match-let* and match-letrec forms generalize Scheme's let, let*, letrec, and define expressions to allow patterns in the binding position rather than just variables. For example, the following expression:

(match-let (((x y z) (list 1 2 3)))
            ((a b c) (list 4 5 6)))
  body …)

binds x to 1, y to 2, z to 3, a to 4, b to 5, and c to 6 in body …. These forms are convenient for destructuring the result of a function that returns multiple values as a list or vector. As usual for letrec, pattern variables bound by match-letrec should not be used in computing the bound value.

Analogously to named let, match-let accepts an optional loop variable var before the binding list, turning match-let into a general looping construct.