ebresafegaga / patterns

A workbench for pattern matching exploration

A workbench to explore pattern matching implementations in programming languages. These include:

1. How to implement an interpreter for a PL with pattern matching
2. How to compile pattern matching constructs to if constructs
3. Exhaustiveness checking for pattern matching
4. Typechecking for pattern matching
5. Pattern synonyms & first class patterns (a la F# active patterns)
6. Maybe view patterns in a dependently typed setting