Pattern matching

Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching

Traits provide a powerful mechanism for code reuse by allowing the definition of shared behaviors that can be composed into classes. …

Andong Fan, Lionel Parreaux, Ningning Xie

Programming with Composable Recursive Patterns and Transformations

Data processing using traditional pattern matching syntax and direct recursive functions is straightforward to write but inherently …

Luyu Cheng, Florent Ferrari, Lionel Parreaux, Michael D. Adams

The Ultimate Conditional Syntax

Functional programming languages typically support expressive pattern-matching syntax allowing programmers to write concise and …

Luyu Cheng, Lionel Parreaux

A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, …

Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu, Lionel Parreaux