5
Why Safety Profiles Failed (www.circle-lang.org)
submitted 3 weeks ago by JRepin@lemmy.ml to c/cpp@lemmy.ml

Safety Profiles were introduced in 2015 with the promise to detect all lifetime safety defects in existing C++ code. It was a bold claim. But after a decade of effort, Profiles failed to produce a specification, reliable implementation or any tangible benefit for C++ safety. The cause of this failure involves a number of mistaken premises at the core of its design:

  1. “Zero annotation is required by default, because existing C++ source code already contains sufficient information”
  2. “We should not require a safe function annotation”
  3. “Do not add a feature that requires viral annotation”
  4. “Do not add a feature that requires heavy annotation”

The parameters of the problem make success impossible. This paper examines the contradictions in these premises, explains why the design didn’t improve safety in the past and why it won’t improve safety in the future.

you are viewing a single comment's thread
view the rest of the comments
[-] Transform2942@lemmy.ml 2 points 3 weeks ago

People would rather burn the world down than add lifetime annotations SMH

this post was submitted on 26 Oct 2024
5 points (100.0% liked)

C & C++

1 readers
3 users here now

founded 5 years ago
MODERATORS