Wiki
Clone wikiinf225public / glossary / Pattern matching
[Alphabetical Index | Tag Index]
Pattern matching
A technique for comparing (typically algebraic) data structures, where one or both structures may contain variables (sometimes refered to as meta-variables). Upon successful match, variables are bound to the corresponding substructure from the other side. Related to Unification in Prolog, but often more restricted.
Updated