ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Fri 16 Sep 2022 14:00 - 14:30 at Kosovel - Embedded DSLs Chair(s): James Koppel

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. In this paper, we present a novel technique, \emph{embedded pattern matching}, which enables a natural and user friendly embedding of user defined algebraic data types into the embedded language. Our technique enables users to pattern match on terms in the embedded language in much the same way they would in the host language.

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30
Embedded DSLsHaskell at Kosovel
Chair(s): James Koppel Massachusetts Institute of Technology, USA
14:00
30m
Talk
Embedded Pattern Matching
Haskell
Trevor L. McDonell Utrecht University, Joshua D. Meredith IOHK, Gabriele Keller Utrecht University
14:30
30m
Demonstration
Eiger: Auditable, executable, flexible legal regulations
Haskell
Alexander Bernauer PricewaterhouseCoopers Switzerland, Richard A. Eisenberg Jane Street
15:00
30m
Day closing
PC Chair Report
Haskell
Nadia Polikarpova University of California at San Diego