The Dawn of a new Error
summary
Proposal p0709 deterministic exceptions rewrites throws into a return-channel transformation that yields something like std::expected, introduces a try/froz checklist for compiler-checked propagation, and promises a zero-overhead abstraction by packing status into registers. Supporting work includes a new value error type std::error (erased, trivially relocatable), monadic operations for expected/optional, and two relocation papers (p1029/p1144). Most pieces are early-stage; interoperability with classic exceptions and memory‑exhaustion semantics are prototyped but unresolved.
AI-written summary · about
chapters (8)
- 0:00Start
- 4:27Exploding Return Types
- 10:03Return Type
- 16:31Exceptions
- 18:20Try Keyword
- 21:19Effective Isomorphism
- 28:48Error Condition Type
- 51:57Stack Unrolling
related talks
01h 02mOption(al) is not a failure
01h 01mExpect the Expected
59mthe expected outcome
01h 37mIntroduction to proposed std::expected
46mFive Issues with std::expected and How to Fix Them
59mTo err is human - error handling in C++26
01h 04mException-Safe Code, Part III
01h 00mUsing Coroutines to Implement C++ Exceptions for Freestanding Environments