Safe, Borrow-Checked, C++

Update: 2024-05-31

Description

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

Comments

Top Podcasts

The Best New Comedy Podcast Right Now – June 2024 The Best News Podcast Right Now – June 2024 The Best New Business Podcast Right Now – June 2024 The Best New Sports Podcast Right Now – June 2024 The Best New True Crime Podcast Right Now – June 2024 The Best New Joe Rogan Experience Podcast Right Now – June 20 The Best New Dan Bongino Show Podcast Right Now – June 20 The Best New Mark Levin Podcast – June 2024

In Channel

Tease Your C++ Brain

2024-11-1954:06

Realtime Sanitizer and the Performance Constraints attributes

2024-10-2901:01:02

Type Erasure, SIMD-Within-a-Register and more

2024-10-2001:04:07

Parsing and Analysing C++

2024-10-0401:01:30

CppCon 2024 Live Special

2024-09-2054:41

Benchmarking Language Keywords

2024-09-0601:05:48

Reducing Binary Sizes

2024-08-0901:04:28

Swift for C++ Developers

2024-07-2701:02:57

QuantLib

2024-07-1201:01:00

libunifex and std::execution

2024-06-2801:01:55

Boost, The Beman Project and Beyond

2024-06-1401:04:05

Safe, Borrow-Checked, C++

2024-05-3101:09:10

Rust <=> C++

2024-05-1801:00:21

JSON for Modern C++

2024-05-0301:07:58

Pure Virtual C++

2024-04-2301:00:29

Heterogeneous Computing and C++ Language Evolution

2024-04-0501:00:51

Psychology and Starting Out as a Developer

2024-03-1101:07:41

Compiler Explorer Revisited

2024-02-2301:00:32

Teaching and Training Modern C++

2024-02-0952:47

Reflection for C++26

2024-01-2601:12:32

00:00

#box-pro-ellipsis-173251395580759{-webkit-line-clamp:2;}Safe, Borrow-Checked, C++

News

Links

Safe, Borrow-Checked, C++

Timur Doumler & Phil Nash

Safe, Borrow-Checked, C++