13 ms·
>Other languages just don't need them thanks to being d esigned with safety first. Other languages are not used for writing safety critical code. Language feat
by Nokinside 10y ago
>Other languages just don't need them thanks to being d
esigned with safety first.
Other languages are not used for writing safety critical code. Language features are not even close being enough for that.
- pjmlp 10y agoAda and SPARK are such languages, better improve your knowledge.
- Nokinside 10y agoI specially mentioned Ada with C/C++ in my first post that started the tread. No need to defensively boast if you realize that you are wrong.
- pjmlp 10y agoI don't need to be defensive in any way. The band-aids called MISRA-C, Frama-C, High Integrity C++ and DOD certifications are a mechanism to force Ada safe like semantics in C and C++, while paying lower salaries, instead of hiring Ada devs. F-35 proves how good they work out in large scale projects.
- deleted 10y ago[deleted]