Embedded pattern matching

Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


Haskell is a popular choice for hosting deeply embedded languages. A recurring challenge for these embeddings is how to seamlessly integrate user defined algebraic data types. In particular, one important, convenient, and expressive feature for creating and inspecting data—pattern matching—is not directly available on embedded terms. We present a novel technique, embedded pattern matching, which enables a natural and user friendly embedding of user defined algebraic data types into the embedded language, and allows programmers to pattern match on terms in the embedded language in much the same way they would in the host language.
Original languageEnglish
Title of host publicationHaskell 2022: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium
Number of pages14
ISBN (Print)978-1-4503-9438
Publication statusPublished - 2022


  • Haskell
  • pattern matching
  • algebraic data types
  • embedded languages


Dive into the research topics of 'Embedded pattern matching'. Together they form a unique fingerprint.

Cite this