3 ms·

That was going to be my response..

• pkolaczk 12y ago
  I was replying to the statement: "For example, people also write C++ when correctness is critical". And I say if someone writes C++ in a correctness critical system, he must not know what he is doing. Even if you're using only STL, RAII and following all the good coding practices, there are still so many ways to screw things up, that C++ is among the worst choices in this regard.
  • s_baby 12y ago
    Nasa and military don't know what they're doing? C++ is the go to language in mission critical systems.
    • pkolaczk 12y ago
      NASA and military are using a whole lot of different technologies and languages, including, but not limited to assembly, C, C++, ADA, Haskell, Coq, Python and Java. Saying they use C++ for correctness, when they are using Coq or Haskell as well, is again - exaggeration. I believe they use C/C++ more for performance / low memory overhead rather than its correctness related features.
      • deleted 12y ago
        [deleted]