Скачать с ютуб [IWACO24] Visualizing and Explaining Rust's Ownership Model в хорошем качестве

[IWACO24] Visualizing and Explaining Rust's Ownership Model

Visualizing and Explaining Rust's Ownership Model (Video, IWACO 2024) Will Crichton (Brown University) Abstract: Rust has succeeded in breaking ownership out of academia. Yet, while there is a thriving community of Rust programmers, mounting evidence shows that Rust’s ownership model still poses a serious barrier to adoption both for new and experienced developers. This is an instance of a more general problem: when you invent a fancy type system, how are you supposed to teach it to people? In this talk, I will describe our method of improving the pedagogy of Rust’s type system. Specifically, we (a) investigated why developers struggle with ownership, (b) developed a new way to visualize how Rust’s ownership analyzer “sees” a program, and (c) integrated this visualization into a new pedagogy of ownership that can explain phenomena like soundness vs. completeness and field-sensitivity to the typical Rust learner. We evaluated this approach through a large-scale field deployment into a popular online Rust textbook, finding that the pedagogy improved learning outcomes by roughly one letter grade on an exam of difficult ownership-related questions. Presentation at the IWACO 2024 conference, October 20, 2024, https://2024.splashcon.org/home/iwaco... Sponsored by ACM SIGPLAN,