The match vocabulary implements ML-style pattern matching.
Variables used for pattern matching must be explicitly defined first:
A basic pattern match:
A conditional form analogous to cond:
Pattern replacement:
Variables used for pattern matching must be explicitly defined first:
MATCH-VARS:
A basic pattern match:
match ( value1 value2 -- bindings )
A conditional form analogous to cond:
match-cond ( assoc -- quot )
Pattern replacement:
match-replace ( object pattern1 pattern2 -- result )