Safe, Borrow-Checked, C++

31/05/2024 1h 9min Episodio 383
Safe, Borrow-Checked, C++

Listen "Safe, Borrow-Checked, C++"

Episode Synopsis

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.
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