Thesis chapter: pattern matching and its extensions

rogerburtonpatel / vml

Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.

5 stars 0 forks source link

Thesis chapter: pattern matching and its extensions #32

Closed nrnrnr closed 5 months ago

nrnrnr commented 7 months ago

Chapter to answer these questions:

What is pattern matching?
Why do people like it?
What are the (some?) extensions that have been proposed?
Why do people want these extensions?

A condensed version of this chapter can appear in an eventual paper.

rogerburtonpatel commented 7 months ago

This chapter is now well underway, and has spawned many interesting examples.

rogerburtonpatel commented 5 months ago

Closing as completed.