Listen Top Shows Blog

Safe, Borrow-Checked, C++

Update: 2024-05-31

1

Share

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

In Channel

BrontoSource and Swiss Tables

2025-07-0351:45

Friends-and-Family Special

2025-06-1301:02:40

From Refactoring to (physical) Relocation

2025-05-3051:24

libstdc++

2025-05-1601:02:11

Software development in a world of AI

2025-05-0201:15:17

Standard Library Hardening

2025-04-1158:28

News and Catch-up

2025-03-2143:07

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

00:00

00:00

x

Safe, Borrow-Checked, C++

Timur Doumler & Phil Nash