Sean Baxter joins Timur and Phil. Sean explains how he has managed to implement a borrow checker for C++ in his Circle compiler. In fact his implementation addresses all the same safety issues that Rust addresses.
Show Notes News * "Noisy: The Class You Wrote a Hundred Times" + Reddit discussion * "Addressing That Post About final" * Conference News: + Pure Virtual C++ 2024 videos + C++ on Sea 2024 - full scheduled published
Links * Jet Propulsion Lab * Circle homepage * "Safe C++" - Sean's video covering the implementation discussed on the episode * P2687R0 - "Design Alternatives for Type-and-Resource Safe C++" - Stroustrup & Dos Reis * P2771R0 - "Towards memory safety in C++" * Clang's "Lifetime Extensions for C++" RFC