Match Ergonomics

January 27 2025 - 19:00+01:00

Match ergonomics is the feature that allows patterns to seamlessly "see through" &/&mut references. It has been put back on the drawing board in recent months as we attempted to use the 2024 edition to fix some long-standing papercuts with it.

The design space turned out to have more depth than anticipated, prompting several competing proposals, the creation of three different formalisms, and the development of two tools to assist with answering design questions.

In this talk I will give an overview of the feature along with its history, outline the decisions we're facing now, and present the tools and formalisms we developed along the way, particularly my webapp.

Presenter: Nadrieril has been contributing to Rust since 2019, focusing on the implementation and design of pattern-matching-related features. He has become the de-facto referent on the topic and aims to make pattern-matching even more fun than it already is. By day he is a research engineer at Inria (France), working on Aeneas and Charon which have been presented at RFMIG before.

Meeting Link: Zoom Link

Recording Link: YouTube