13 ms·
> and never adopted except where required by contract requirements A lot of the software on the Boeing 777 is written in Ada. AFAIK, that was Boeing’s decision
by skissane 2y ago
> and never adopted except where required by contract requirements
A lot of the software on the Boeing 777 is written in Ada. AFAIK, that was Boeing’s decision, not due to any government contract requirement-as a commercial aircraft, governments are not the primary customers
- ltbarcly3 2y ago[flagged]
- skissane 2y agoAda is the basis of SPARK, [0] which takes Ada and adds formal verification. While no doubt massive overkill for 99.9% of applications, there are a small number of use cases (safety-critical or security-critical code) where it can actually make sense. While in principle you could add formal verification to other languages, I'm not aware of any other such solution with as much mindshare as SPARK. Ada's feature set is already closer to what you need for that purpose than what many other languages offer, so even though SPARK still has to both subset and superset Ada, the same thing with other languages would arguably require both taking more away and adding more. [0] https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language)
- jan3024-2r 2y ago[flagged]
- tolerance 2y agoIf that counts as bullying, we need more of it and not insipid contrarianism.
- csb6 2y agoIt is not just one airplane. It is still common in defense and aerospace software, as well as other safety critical code (Nvidia recently started using the SPARK subset for some of their firmware I believe). Just because you don’t know anyone using it doesn’t mean it isn’t used.
- seabird 2y agoWe've been starting code bases in Ada for embedded consumer power generation products for the last year. Huge improvement over C, nobody on the team has any regrets. Just because it isn't topping the TIOBE index doesn't mean it doesn't have its place.