PATTERN-MATCHING

Path polymorphism supports operations that need to traverse an arbitrary data structure, e.g. searching or querying. The heart of this approach is to support patterns able to match against any compound data structure.

Pattern polymorphism allows free variables in patterns, so that patterns may be assembled and evaluated dynamically.

Programming with the pattern calculus is the point of the language bondi .

Here is an introduction to the pattern calculus. It is the front matter and first chapter of a draft monograph.

Publications on pattern calculus and its precursors include (in chronological order) :

• The constructor calculus combines cases having different types to define generic mapping etc.
• The pattern calculus formalises extensions, and introduces a more general class of static patterns.
• Programming with Heterogeneous Structures: Manipulating XML data Using bondi uses the original bondi to model XML.
• A relational account of objects shows how the discriminating object model can serve for programming and storing objects.
• Pure pattern calculus (revised) the revised version of our ESOP'06 paper in which any term can be a pattern.
• Typing first-class patterns considers typing issues.
• Type variables simplify sub-typing considers sub-typing issues.
• Multi-polymorphic programming in bondi introduces the new version of bondi.
• The introduction to "Pattern calculus: computing with functions and structures" as mentioned above.

Faculty of Information Technology