>> насколько мне известно, в этой отрасли предпочитают язык Ada
> Ты вот прямо за всю начинку, от всех производителей расписываешься на чем
> они там это наворачивают? Если бы я сказал - "я знаю точно, что в этой отрасли используют исключительно Ada", тогда Ваш вопрос был бы уместен, но я сказал иное.
Вот, можете оценить, кто использует Ada в авиации:
https://www.seas.gwu.edu/~mfeldman/ada-project-summary.html#...
Даже Туполев засветился.
> Можно поспорить что там навалом и сишных
> фирмварей в куче микроконтроллеров (коих напихано много и повсеместно).
Управлять кофеваркой тоже нужно. Впрочем, ценой большИх усилий, можно задействовать и в критических областях.
> Совершенно не принципиально
> на каком языке ты облажаешься, есть шанс что что-то пыхнет, бахнет,
От всех ошибок ни язык, ни архитектура не спасёт, но это не значит, что нужно использовать менее ошибкоустойчивые инструменты, в том числе и язык.
> так не умеют). Но фаны rust о такой фигне наверняка даже
> в проекте не задумываются. За них рантайм подумает, аж два раза.
При чём тут Rust, спроектированный для создания браузера. Здесь уместней уже не раз упомянутый язык Ada. И другие люди тоже учитывают озвученные Вами факторы. Не думаете же Вы, что для того, чтобы это знать, нужно быть сишником? Вообще, странный подход считать остальных людей идиотами, которые рассчитывают на то, что за них будет думать рантайм.
> Там еще и про арианов написано, которые ракеты. Одна из них таки
> грохнулась из-за ошибки в софте - ЕКА попало на 2 миллиарда.
> Впрочем на чем именно был написан сбойнувший модуль еще смотреть надо.
Это был модуль на Ada, бездумно перетащенный из ракеты предыдущего поколения с предсказуемым результатом. Кто бы знал, что французы такие раздолбаи?
Тут интересно одна особенность. Ракета самоуничтожилась из-за аварийного отключения компьютера по причине арифметического переполнения в навигационном модуле.
Если бы код для него был бы написан на стандартном Си, то существовал бы риск, что переполнение прошло бы незамеченным. Если бы это был основной навигационный модуль, можно было бы предсказать, куда бы полетела ракета с ошибкой в навигации? В какой город? Так что самоуничтожение - не худший исход.
И повторюсь, из-за того, что язык в принципе не способен защитить от всех ошибок, это не значит, что вместо него следут использовать ещё более проблематичный инструмент.