Когда кто-то думает об Аде, обычно думают о авионике.
В чем меня интересуют некоторые другие приложения Ada? Где он используется? Есть ли отправленные приложения, написанные в Ada?
Например, существуют ли в нем приложения CRUD? Или игры? Etc.
Где используется Ада (помимо критически важных для безопасности программ)?
Ответ 1
Майкл Фельдман активно поддерживает "" Кто использует проекты Ada/Real World " , в котором перечислены все типы военных и коммерческих проектов. И поскольку он поддерживает конфиденциальность вкладчика, там появятся проекты, которые в противном случае не обсуждались бы их корпоративными спонсорами как проекты" Ада внутри".Ответ 2
Помимо критически важных систем безопасности, Ada действительно действительно сияет, когда у вас много команд, работающих над очень крупным проектом, а количество логических исходных строк кода превышает примерно 1 или 2 миллиона.
В тот момент, когда все определенные временем проверки языка Ada, которые вы иногда считали немного педантичными, и слишком сильно увеличивали размер кода, стали действительно полезными. Исправление ошибки где-то в миллионах строк кода никогда не бывает забавным; проверки времени выполнения действительно помогают обнаружить проблемы раньше и ближе к тому месту, где они происходят.
К сожалению, многие разработчики программного обеспечения, которые использовали Ada 83 или Ada 95 профессионально, не могут рассказать вам о проектах, над которыми они работали. Я слышал, что он также использовался в областях систем управления воздушным движением (в разных странах), железнодорожных транспортных систем (таких как Парижский метрополитен и метро Гонконга) и банковского дела/финансов (Рейтер и др.).
Это очень хороший язык, и есть люди, которые выступают за его использование, потому что это хороший язык, но иногда, когда вы не видели ошибки сегментации или действительно неприятного сбоя в течение месяцев или, может быть, лет, вы начинаете хотеть код в С++ снова...
Ответ 3
Ада первоначально была задумана как язык для консолидации очень большого количества языков, используемых для создания систем для американских военных. Поэтому вы найдете, что он много использовал в приложениях в области систем защиты. Например, пример приложения можно посмотреть в Tokeneer, исходный код которого теперь доступно в Интернете.
Ответ 4
Это начало жизни как предпочтительный язык DoD, поэтому вы найдете его во всех программах DoD. NASA и FAA также являются крупными пользователями. Из-за этой базы большое количество космической аэрокосмической техники тоже использует ее (хотя это, вероятно, "критически важно" ). Например, я думаю, что большая часть программного обеспечения в Boeing 777 была разработана в Аде. Я думаю, что европейское космическое агентство слишком сильно его использует.
Тем не менее, это действительно не используется почти достаточно. Например, он, естественно, невосприимчив к эксплойтам переполнения буфера, поэтому он действительно должен быть предпочтительным языком для разработки ОС.
Ответ 5
Я не знаю точно, но, прочитав много о Ada, я счел, что это идеально подходит для каждой задачи, связанной с физикой/автоматизации, из-за всех этих тестов времени компиляции и времени выполнения (один вкусный дело в том, что вы можете создать два несовместимых типа с плавающей запятой, например Length и Mass).
Ответ 6
Не в количестве. До GNAT пришли компиляторы Ada и инструменты для разработки были очень дорогими и обычно поддерживались только дорогостоящим оборудованием, таким как Suns, Vaxen или IBM Mainframes.
Немного об этом - различные наряды делают важные для безопасности вещи с SPARK, но он имеет тенденцию (хотя и не исключительно) для работы на заказ.
Ответ 7
Ada по-прежнему пользуется популярностью в колоссальных, традиционных, ориентированных на правительство программах. Это также основа для VHDL.
Ответ 8
Ada может использоваться в играх. Проверьте это:
https://sourceforge.net/projects/adagate/
Это свежий (2015) пример использования современного OpenGL с Ada.