Помимо критичных для безопасности систем, Ada действительно хороша только тогда, когда у вас есть много команд, работающих над очень большим проектом, и количество логических строк исходного кода превышает примерно 1 или 2 миллиона.
Именно в тот момент, когда все проверки времени выполнения, определенные на языке Ada, которые вы иногда считали немного педантичными и слишком увеличивали размер кода, стали действительно полезными. Исправить ошибку где-то в миллионах строк кода никогда не бывает весело; проверки во время выполнения действительно помогают выявлять проблемы раньше и ближе к месту их возникновения.
К сожалению, многие разработчики программного обеспечения, которые профессионально использовали Ada 83 или Ada 95, не могут рассказать вам о проектах, над которыми они работали. Я слышал, что он также используется в областях систем управления воздушным движением (в разных странах), железнодорожных транспортных систем (таких как парижское метро и метро Гонконга) и банковского дела / финансов (Reuters и другие).
Это очень хороший язык, и есть люди, которые защищают его использование, потому что это хороший язык, но иногда, когда вы не видели ошибки сегментации или действительно неприятного сбоя в течение нескольких месяцев или даже лет, вы начинаете хотеть код в C ++ снова ...