2 ms·
Ada has the best modularity of all the programming languages I have used. It was designed for building large real-world applications and separates specificatio
by thesuperbigfrog 4y ago
Ada has the best modularity of all the programming languages I have used.
It was designed for building large real-world applications and separates specification from implementation by using separately compilable specification and body files:
https://learn.adacore.com/courses/intro-to-ada/chapters/modular_programming.html https://learn.adacore.com/courses/intro-to-ada/chapters/modu...
This allows the interface between modules to be defined concretely without relying on the implementations.
- noloblo 4y agoWhere's Ada used
- rurban 4y agoMilitary, airplanes, rockets. Only serious stuff
- Jtsummers 4y agoThe US military uses it less than they should, the mandate didn't last long, no clue about other nations. Aviation should also use it more than they do, but most new systems get a choice between: C, C++, Ada, and maybe Fortran. It's usually up to the subsystem developer to determine which language(s) they will use rather than mandated from above. In particular because most planes (this has been true for a long time but become increasingly true over the last 30 years) have highly modular designs with respect to these kind of components. An ICD (interface control document) will lay out the physical and digital interface requirements, but the internals are mostly left to the developer. This includes the language choice.
- deterministic 4y agoAir Traffic Control Systems. Avionics. Nuclear Power Plants. Not your average web app.