IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2026 > The Next Stage of Pattern Matching
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Lionel Parreaux

lunes 9 de febrero de 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.