Скачать с ютуб [IWACO24] The First Six Years in the Development of Polonius, an Improved Borrow Checker в хорошем качестве

[IWACO24] The First Six Years in the Development of Polonius, an Improved Borrow Checker

The First Six Years in the Development of Polonius, an Improved Borrow Checker (Video, IWACO 2024) Amanda Stjerna (Uppsala university) Abstract: Rust’s secret sauce is the (im)famous borrow checker, the analysis component of the compiler that ensures memory safety. The current borrow checker rejects desirable programming patterns, notably most interesting uses of lending iterators, due to imprecision in its analysis of program flow. A new borrow checker called Polonius, meant to address these shortcomings, has been in the making since 2018. This presentation will go into the details of Polonius and how it differs from the current non-lexical lifetimes implementation of the borrow checker. It will describe the Polonius working group’s foray into dataflow analysis using Datalog and how it was abandoned, present the current plan for getting Polonius on the road, and (very briefly) discuss what this might mean for the future of Rust. Presentation at the IWACO 2024 conference, October 20, 2024, https://2024.splashcon.org/home/iwaco... Sponsored by ACM SIGPLAN,