The Design and Evolution of a Pattern Matching Library for C++

Explore the design and evolution of Mach7, a pattern matching library for C++, in this comprehensive conference talk from C++Now 2014. Delve into pattern matching concepts, semantics, and applications across various programming languages. Examine design ideals, criteria, and goals behind the Mach7 library. Learn about structural decomposition, nested matching, relational matching, and pattern combinators. Discover how Mach7 implements algebraic decomposition and handles complex data structures like red-black trees. Gain insights into pattern-subject interactions, expression templates, and the library's core concepts. Understand the implementation of primitive patterns, structural decomposition bindings, and constructor patterns using macros and meta-programming techniques.

Parasol
Introduction
Examples of Patterns / Subjects
Pattern Matching vs. Pattern Recognition
Pattern Matching Semantics
Patterns in Other Languages
Example: Case Analysis in FP
Example: Nested Matching
Example: Relational Matching
Why Pattern Matching?
Design Ideals & Criteria for a Feature
Goals of the Mach 7 library
Mach: Structural Decomposition
Mach7. Nested Matching
Mach7. Relational Matching
Mach: Pattern Combinators
Mach: Balancing Red-Black Tree
Mach: Algebraic Decomposition
Mach: Other Patterns
Patterns subjects interaction
Patterns as Expression Templates
Mach7 Concepts
Primitive Patterns
Structural Decomposition: Bindings
Constructor Pattern
With macros and meta-programming