7 ms·
What? I just left a job in defense software that used Ada and it was a fairly new program.
by kpU8efre7r 7y ago
What? I just left a job in defense software that used Ada and it was a fairly new program.
- coldtea 7y agoSo we agree. It never went anywhere => ie. it never left. Still used for what it was used => ie. the same kind of software (defense, etc).
- jki275 7y agoInteresting to hear that. DOD no longer requires ADA, so many projects that did use it have converted to C++. There were even people brought in to do automated Ada-> C++ conversion a number of years ago.
- dapids 7y agoWith the creation of the MISRA C standards for JSF these memory safety issues have largely been accounted for in the MISRA standards review process.
- ajxs 7y agoMISRA C definitely makes many improvements in this area. However, writing decent Ada code is so much easier than writing C code that conforms to MISRA ( or JSF ) standards. There's a pretty good comparison here: https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Deve...
- zozbot234 7y ago> ... C .... > ... these memory safety issues have largely been accounted for ... Hahaha. Hahahahahaha.
- dapids 7y agoInstead of laughing like a child maybe provide a defendable argument? Once again largely, C is a language not the compiler providing its implementation.
- fao_ 7y agoYep. UB means that your program could crash, but it also means it's valid for the compiler to print out a warning and do the right thing, or error, or anything.