rely heavily on pattern-matching rules to transform user expressions, find analytical solutions to differential equations, and build user-defined simplification frameworks.

Terminology

Pattern matching involves specialized terminology.

; Matching
: The act of comparing a scrutinee to a pattern (or collection of patterns), possibly selecting a continuation, extracting bindings, performing a substitution, or any combination of these. Also known as destructuring.

1.Previous
3.Next