2 ms·

What makes you think I'm "advocating" anything? My goal is for people to understand the state of things. C and C++ have had static analyzers to catch "some ver

by Rusky 6y ago

What makes you think I'm "advocating" anything? My goal is for people to understand the state of things. C and C++ have had static analyzers to catch "some version" of these problems for a long time now, so presumably anyone asking about borrow checker functionality would be interested in whether that functionality matches Rust's (i.e. is sound).

pjmlp 6y ago
It reads like it. We should not forget that even if those static analysers aren't sound, they allow to keep using 50 years of eco-system. Which is why companies like Microsoft, despite all security talk, in the end add support for recent ISO C versions, and have "secure" platforms like Azure Sphere with a C only SDK.
- Rusky 6y ago
  I don't disagree: > ("Just" in quotes because of course more of this is great- my point is merely that it's not the same functionality coming to C++.)
  - pjmlp 6y ago
    We agree then, it is better than not trying to improve anything I guess.