Improving Pattern Matching Expressiveness, Type Safety and Efficiency

PhD Qualifying Examination


Title: "Improving Pattern Matching Expressiveness, Type Safety and Efficiency"

by

Mr. Luyu CHENG


Abstract:

Pattern matching on algebraic data types is an indispensable core feature in
many programming languages. Numerous languages and works have sought to enhance
and expand upon this feature In this study, we evaluate the state-of-the-art
pattern matching through three distinct lenses: the user's perspective on
expressiveness and usability, the efficiency and correctness of pattern
matching compilation, and the relation between the type system and pattern
matching. Lastly, to address the shortcomings of existing works, we propose a
unified framework for pattern matching called the Ultimate Conditional Syntax.
We also formalize this syntax and implement it in the MLscript language.


Date:                   Thursday, 31 August 2023

Time:                   2:00pm - 4:00pm

Venue:                  Room 5501
                        Lifts 25/26

Committee Members:      Dr. Lionel Parreaux (Supervisor)
                        Dr. Jiasi Shen (Chairperson)
                        Prof. Shing-Chi Cheung
                        Dr. Amir Goharshady


**** ALL are Welcome ****