4 ms·

>which is buggy as hell Is this really the fault of C++? Ada was appreciated for providing static code analysis out of the box but they found out that coupling

• protomyth 9y ago
  Well, the F-22 had control software written in Ada and it doesn't have as many reported software problems as the F-35.
  • trothamel 9y ago
    The F-22 is also a decade older.
    • protomyth 9y ago
      I think a time comparison of both would still show the F-22 had less software problems. The F-22 also has some seriously complicated software when you look at the capability.
• Raphael_Amiard 9y ago
  > > which is buggy as hell > Is this really the fault of C++? I'm not saying it necessarily is, but it clearly can be. When you fuck-up language semantics, as pointers in C and C++, making things vague and unspecifiable regarding important properties (aliasing, memory allocation, etc), then you lose something that is extremely hard to get back via static analysis. For this reason, a language that has safe properties in a domain (like Rust or Ada) will always be safer in that domain, by construction, that a language where you graft static analysis on top of it. This can be somehow alleviated by coding rules/standards and annotations for static analyzers, but then, you're not programming in the same language anymore, which has its own set of problems.