теоретически на аде можно было бы не допустить тот взрыв Ариана-5, если бы при разработке ПО полнее использовали бы возможности системы типов.
например, то ПО было оптимизированно под определённый угол траектории взлёта ракеты, надо было описать отдельным типом допустимый диапазон углов, возможность для этого есть,
затем, при изменении угла траектории компилятор бы просто сообщил об ошибке выхода за диапазон — и программа не скомпилировалась бы, начали бы разбираться в чём проблема, взрыва не было бы...