IMDEA Software

IMDEA initiative

Home > Events > Invited Talks > 2026 > The Next Stage of Pattern Matching

Lionel Parreaux

Monday, February 9, 2026

11:00 302-Mountain View and Zoom3 (https://zoom.us/j/3911012202, password:@s3)

Lionel Parreaux, Assistant Professor, Hong Kong University of Science and Technology

The Next Stage of Pattern Matching

Abstract:

Pattern matching is a fundamental feature of functional programming languages that is also being adopted by mainstream object-oriented languages, such as Java and Python. In this talk, I will discuss recent improvements and simplifications we proposed for pattern matching syntax. I will also present our ongoing follow-up work: we propose “composable recursive patterns and transformations”, a new way of writing data-oriented code that can be compiled efficiently and integrates well with structural types and subtyping, making writing such code safer, more modular, and more efficient.