3 ms·

Is Ada memory safe? I don’t think it is.

• yjftsjthsd-h 4y ago
  https://www.reddit.com/r/ada/comments/mme3jk/is_ada_memory_safe/ https://www.reddit.com/r/ada/comments/mme3jk/is_ada_memory_s... seems to think so, although unfortunately I'm not qualified to evaluate it (so take this with a medium-large grain of salt...)
• 29athrowaway 4y ago
  It is still a significant upgrade in terms of safety over C.
  • pyuser583 4y ago
    The main argument against Ada is you can achieve a higher level of safety/convenience using C++ frameworks and code analysis tools.
    • 29athrowaway 4y ago
      The F-35 JSF project used C++, and had a draconian coding standard, and likely used all of the tools you mentioned. It was plagued with defects that costed the taxpayer billions of dollars. https://www.stroustrup.com/JSF-AV-rules.pdf https://www.stroustrup.com/JSF-AV-rules.pdf
      • deleted 4y ago
        [deleted]