Carbon: graduating from the experiment
summary
Carbon reports concrete progress: an implemented compiler and toolchain with deep C++ interop via Clang demonstrated live in Compiler Explorer, a working inline C++ feature, and community activity of 5,000 PRs from over 90 contributors with 179 merged proposals and 159 closed issues. The language adds a strict/permissive memory safety model using place sets and safety-effect annotations, thread-safety effects, and a migration path aimed at a 0.1 evaluation release possibly early next year.
AI-written summary · about
chapters (12)
- 0:00Carbon language intro
- 1:13Why Carbon for C++
- 4:46Open source progress
- 9:21C++ interoperability demo
- 16:26Accessing Carbon from C++
- 22:08Memory safety goals
- 25:39Temporal safety in types
- 31:41Thread safety with mutex
- 36:36Migrating from C++
- 46:23Graduating Carbon
- 49:55Next steps for 0.1
- 50:57Q&A
related talks
01h 37mC++ And Beyond: Discussion
01h 31m“C++ as a "Live at Head" Language”
01h 31mWhat C++ Needs to be Safe
01h 35mISO C++ Standards Committee Panel Discussion 2024
27mInfiltrating a Code Base: Moving Toward a Better C
01h 48m“Meta: Thoughts on generative C++”
01h 26mGrill The Committee Panel
08mInterview with Mads Torgersen & Kresten Krab