4 ms·
I'm reminded of Darpa's old plans for Ada. I expect we'll see the same issues come up as the last time they tried this.
by llm_trw 2y ago
I'm reminded of Darpa's old plans for Ada. I expect we'll see the same issues come up as the last time they tried this.
- pjmlp 2y agoThe problem with Ada, was the price of the compilers, and that the few UNIX vendors that bothered with Ada, like Sun, it was an additional license on top of the already expensive SunOS/Solaris Developer SDK. Thus the push for C and C++, alongside security certifications, where those languages feel like using Ada with a C like syntax. https://www.perforce.com/blog/kw/NASA-rules-for-developing-safety-critical-code https://www.perforce.com/blog/kw/NASA-rules-for-developing-s... https://yurichev.com/mirrors/C/JPL_Coding_Standard_C.pdf https://yurichev.com/mirrors/C/JPL_Coding_Standard_C.pdf https://misra.org.uk/ https://misra.org.uk/ Nowadays we live in a world where developers refuse to pay for their tools like other professionals, but hey, Rust is free beer, not like the several millions per seat licenses used by Ada vendors, of whom there are still 7 vendors in business.