3 ms·
No disagreement, but there is such a thing as a language for which 99% of the programs you can write in it and compile successfully are sound... vs. C and C++,
by shadowgovt 3y ago
No disagreement, but there is such a thing as a language for which 99% of the programs you can write in it and compile successfully are sound... vs. C and C++, where you can create an unsound program with a handful of regular day-to-day operations on one line.
To my money (for c++ in particular), the ledge of soundness is so razor thin that I might as well assume it's not there.