Safe, Borrow-Checked, C++

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