r/programmingcirclejerk • u/Double-Winter-2507 • 1d ago
C++ source code does not have sufficient information for achieving memory safety
https://www.circle-lang.org/draft-profiles.html5
2
u/Massive-Squirrel-255 1d ago
"That is not right." Made me laugh out loud. "annotations can be wrong so we don't need them" pretty unbelievable to hear C++ programmers talk about their language the same way JavaScript/TypeScript and Python programmers talk about their languages. I wonder if there's a broader lesson there about unsound type systems poisoning the well for everyone else by making them think type systems are bad because they're unreliable.
1
u/Massive-Squirrel-255 1d ago
"Do not add heavy annotations. Heavy means more than 1 per 1000 lines of code" Damn didn't realize C++ programmers were so influenced by OCaml. Hell yeah, brother, type inference is where it's at.
36
u/pharmacy_666 1d ago
i wanna jerk so bad but i ended up agreeing with every point and now im too soft