3 ms·
> The fundamental fact remains that the compilers do not warn about the major problem of handling dangling pointers I'm going to quote myself, emphasis mine.
by braveo 10y ago
> The fundamental fact remains that the compilers do not warn about the major problem of handling dangling pointers
I'm going to quote myself, emphasis mine.
"The end goal isn't for the compiler to verify the safety, the end goal is for the software itself to be safe in a way that's cheaper."
[snip]
"C++ compilers tend to give pretty good warnings that you can treat as errors, and __coupled with good external tools__ it isn't clear that rust is significantly safer than C++."
- leshow 10y agoquoting pcwalton up above: "I don't care if the software is verified via libraries or compilers. The problem is that C++ verifiers don't work."
- braveo 10y agoright, I too can make assertions with no evidence to back them up. If that's really your bar, then we don't have much more to discuss.