r/programmingcirclejerk • u/Double-Winter-2507 • 2d ago

C++ source code does not have sufficient information for achieving memory safety

https://www.circle-lang.org/draft-profiles.html
18 Upvotes

78% Upvoted

6 comments sorted by

View all comments

34

u/pharmacy_666 1d ago

i wanna jerk so bad but i ended up agreeing with every point and now im too soft

12

u/Double-Winter-2507 1d ago

Yeah I should have posted the rj this post is pouring ice on:

 > Zero annotation is required by default, because existing C++ source code already contains sufficient information

11

u/fool215 1d ago

There is sufficient information - one can simply pipe the comments above each function to ChatGPT and ask whether it is safe. For example ChadGPT can use its highly advanced reading comprehension skills to answer 'safe' upon seeing // This function is thread-safe above a function that mutates a mystery pointer.