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" (vzalzal.com/posts/noisy-the-class-you-wrote-a-…)
• Reddit discussion (reddit.com/r/cpp/comments/1cb2b19/noisy_the_cl…)

• "Addressing That Post About final" (16bpp.net/blog/post/addressing-that-post-about…)

• Conference News:
• Pure Virtual C++ 2024 videos (devblogs.microsoft.com/cppblog/pure-virtual-cp…)

• C++ on Sea 2024 - full scheduled published (cpponsea.uk/news/full-schedule-for-2024.html)

Links

• Jet Propulsion Lab (en.wikipedia.org/wiki/Jet_Propulsion_Laboratory)

• Circle homepage (circle-lang.org)

• "Safe C++" - Sean's video covering the implementation discussed on the episode (youtube.com/watch?v=5Q1awoAwBgQ)

• P2687R0 - "Design Alternatives for Type-and-Resource Safe C++" - Stroustrup & Dos Reis (wg21.link/p2687r0)

• P2771R0 - "Towards memory safety in C++" (open-std.org/jtc1/sc22/wg21/docs/papers/2023/p…)

• Clang's "Lifetime Extensions for C++" RFC (discourse.llvm.org/t/rfc-lifetime-annotations-…)