Ада (язык программирования)

2026-02-07T12:51:27Z

31.47.158.131: /* Литература */ Пайл Ян. АДА - язык встроенных систем - "Наука" - 1984. ссылка на книгу добавлена

{{Другие значения|Ада}}
{{Карточка языка программирования
| name = Ада
| logo = [[файл:Ada horizon green logo with slogan.svg]]
| semantics = [[Мультипарадигменный язык программирования|мультипарадигменный]]: [[Конкурентное программирование|конкурентное]], обобщённое, [[императивное программирование|императивное]], [[объектно-ориентированное программирование|объектно-ориентированное]], [[распределённое программирование|распределённое]] программирование, [[параллельное программирование|параллельное]]
| class = [[компилятор|компилируемый]]
| year = [[1980]]
| designer = * MIL-STD-1815/Ada 83: [[Жан Ишбиа]]
* Ada 95: Такер Тефт
* Ada 2005: Такер Тефт
| typing = [[Статическая типизация|статическая]], [[Строгая типизация|строгая]], [[безопасная типизация|безопасная]], [[nominative type system|nominative]]
| dialects = [[SPARK (язык программирования)|SPARK]], [[Ravenscar profile]]
| influenced_by = [[ALGOL 68]], [[Pascal]], [[C++]] (Ada 95), [[Smalltalk]] (Ada 95), [[Java]] (Ada 2005), [[Eiffel]] (Ada 2012)
| influenced = C++, [[Eiffel]], M10, M9.3, MAYA, [[Seed7]], [[PL/SQL]], [[Nim]]
| latest_release_version = Ada 2022
| latest_release_date = {{start date and age|2023|05}}
| latest_preview_version = Ada 2012<ref>{{cite web |url=http://www.ada-auth.org/standards/ada12.html |title=Ada 2012 Language Reference Manual |publisher=Ada-auth.org |date= |access-date=2014-01-27 |archive-date=2011-02-28 |archive-url=https://web.archive.org/web/20110228010257/http://www.ada-auth.org/standards/ada12.html |url-status=live }}</ref>
| latest_preview_date = {{start date and age|2011|11}} 
| turing-complete = Yes
| implementations = AdaCore [[GNAT]],<br>MapuSoft Ada-C/C++ Changer (AdaMagic)<ref>{{cite web |url=http://www.mapusoft.com/ada-to-c-changer/ |title=MapuSoft Ada-C/C++ Changer (AdaMagic) |publisher=MapuSoft |date=2016-07-22 |access-date=2017-02-12 |archive-date=2016-11-21 |archive-url=https://web.archive.org/web/20161121105328/http://www.mapusoft.com/ada-to-c-changer/ |url-status=live }}</ref>,<br>[[Green Hills Software]] Optimising Ada 95 compiler,<br>PTC ObjectAda<ref>{{cite web |url=http://www.ptc.com/developer-tools/objectada |title=PTC ObjectAda |publisher=PTC |date= |access-date=2017-02-12 |archive-date=2016-10-10 |archive-url=https://web.archive.org/web/20161010234842/http://www.ptc.com/developer-tools/objectada |url-status=live }}</ref>,<br>[[DDC-I]] Score
| operating_system = [[Cross-platform]] (multi-platform)
| license =
| website = {{URL|www.adaic.org}}
| file_ext = .adb .ads
| wikibooks = Ada Programming
}}
'''А́да''' (''Ada'') — [[язык программирования]], созданный в [[1979]]—[[1980 год]]ах в ходе проекта [[Министерство обороны США|Министерства обороны США]] с целью разработать единый язык программирования для [[встроенная система|встроенных систем]] (то есть систем управления автоматизированными комплексами, функционирующими в [[Система реального времени|реальном времени]]). Имелись в виду прежде всего бортовые системы управления военными объектами (кораблями, самолётами, танками, ракетами, снарядами и т. п.). Перед разработчиками не стояло задачи создать универсальный язык, поэтому решения, принятые авторами Ады, нужно воспринимать в контексте особенностей выбранной предметной области. Язык назван в честь [[Лавлейс, Ада|Ады Лавлейс]].

== Особенности ==
В исходном варианте, стандартизованном в 1983 году, Ада — это [[Структурное программирование|структурный]], [[Модуль (программирование)|модульный]] язык программирования, содержащий высокоуровневые средства программирования параллельных процессов. Синтаксис Ады унаследован от языков типа [[Algol]] или [[Паскаль (язык программирования)|Паскаль]], но расширен, а также сделан более строгим и логичным. Ада — [[Строгая типизация|язык со строгой типизацией]], в нём исключена работа с объектами, не имеющими [[Тип данных|типов]], а [[Приведение типа|автоматические преобразования типов]] сведены к абсолютному минимуму: допускается неявное приведение значения общего целого или вещественного числового типа к совместимому числовому типу<ref name="typeconv">{{Cite web |url=http://www.ada-ru.org/arm83/ch04s06.html |title=Справочное руководство по языку Ада. 4.6. Преобразование типов. |access-date=2019-07-26 |archive-date=2019-01-01 |archive-url=https://web.archive.org/web/20190101080332/http://ada-ru.org/arm83/ch04s06.html |url-status=live }}</ref>. В стандарте 1995 года в язык были добавлены базовые средства [[Объектно-ориентированное программирование|объектно-ориентированного программирования]], в стандарте 2007 эти средства были дополнены, поэтому современный Ада — [[объектно-ориентированный язык программирования]].

== Синтаксис ==
Язык регистро-независим. [[Синтаксис]] — [[Алгол|алголоподобный]], в духе языков конца 1970-х годов: все управляющие конструкции, начинающиеся на ключевое слово, заканчиваются ключевым словом и позволяют размещать внутри любое число операторов, что устраняет часто критикуемый недостаток, свойственный Алголу-60 и Паскалю: необходимость частого использования «операторных скобок» <code>begin-end</code>. Детали синтаксиса разработаны так, чтобы снизить вероятность случайных ошибок. Например, в идентификаторах запрещено использовать несколько знаков подчёркивания подряд. Завершающие ключевые слова для разных управляющих конструкций различны: условный оператор <code>if</code> заканчивается комбинацией <code>end if</code>, циклы — комбинацией <code>end loop</code>, оператор множественного выбора — <code>end case</code> и т. д. На уровне синтаксиса языка поддерживается [[структурная обработка исключений]].

Язык имеет развитую систему типов, как встроенных, так и порождаемых программистом. Есть множество способов создания новых типов, язык поддерживает два разных понятия: «подтип» и «производный тип». Переменные типа и подтипа совместимы, переменные типа и его производного типа — нет.

В процедурах и функциях поддерживаются входные и выходные параметры, передача параметров по имени, параметры со значениями по умолчанию. Поддерживается [[Перегрузка операций|переопределение процедур, функций и операторов]] — создание нескольких вариантов процедуры, функции или оператора с одним и тем же именем, но различными сигнатурами (типами и количеством параметров).

Программы — модульные, механизм контроля импорта-экспорта описаний между модулями включает две разные директивы: одну для подключения другого модуля (<code>with</code>), другую — для импорта его описаний (<code>use</code>). Также существует возможность переименовать модуль при импорте (<code>rename</code>) — этот вариант позволяет использовать для обозначения пакета более удобные программисту [[Идентификатор|идентификаторы]]. Пакеты (один из типов модулей) могут содержать заголовок и приватную часть — то, что содержится в ней, не экспортируется и другим модулям недоступно. Поддерживается механизм [[Обобщённое программирование|обобщённых (generic) модулей]]: пакетов, процедур и функций, позволяющих описывать алгоритмы обработки данных без указания конкретного типа.

В язык встроены конструкции поддержки [[Параллельное программирование|параллельного программирования]]: поддерживаются понятия «задача» (параллельно выполняемый фрагмент программы), «вход задачи» (средство синхронизации и коммуникации параллельно выполняющихся задач), поддерживается механизм «рандеву» (протокол взаимодействия параллельно выполняемых задач через вход одной из них), имеется оператор выбора <code>SELECT</code> для организации условного межпотокового взаимодействия (выбора параллельной задачи, с которой следует взаимодействовать, в зависимости от готовности к рандеву и некоторых других условий). В принципе, имеющихся в языке средств [[Параллельное программирование|параллельного программирования]] достаточно для решения большого класса задач, требующих параллельной обработки, без обращения к внешним средствам, таким как дополнительные библиотеки или [[API|API операционной системы]].

Для удовлетворения требованиям надёжности язык построен таким образом, чтобы как можно большее количество ошибок обнаруживалось на этапе [[Компилятор|компиляции]]. Кроме того, одним из требований при разработке языка была максимально лёгкая читаемость [[Исходный код|текстов программ]], даже в ущерб лёгкости написания<ref>{{Cite web |url=http://www.ada-ru.org/arm83/ch01s03.html |title=Справочное руководство по языку Ада 83. Глава 1.3. Цели и источники разработки |access-date=2007-11-22 |archive-date=2008-09-07 |archive-url=https://web.archive.org/web/20080907114213/http://www.ada-ru.org/arm83/ch01s03.html |url-status=live }}</ref>. Результатом такого подхода стал несколько «тяжеловесный» [[Синтаксис (программирование)|синтаксис]] и множество ограничений, отсутствующих в наиболее распространённых языках общего назначения (таких как [[Си (язык программирования)|Си]] и [[C++]]), например, та же [[строгая типизация]]. Это привело к формированию представления об Аде как о сложном, малопонятном и неудобном в использовании языке<ref name="stank">{{Cite web |url=http://www.kv.by/index2006451104.htm |title=Вадим Станкевич. Леди Ада |access-date=2007-11-22 |archive-date=2008-05-22 |archive-url=https://web.archive.org/web/20080522031932/http://kv.by/index2006451104.htm |url-status=live }}</ref>.

== Примеры программ ==
{{Викиучебник|en:Ada Programming/Basic|Варианты программы «Hello, world!» на языке Ада{{ref|en}}}}
Пример программы «[[Hello, world!]]»:
<source lang="ada">
with Ada.Text_IO;

procedure Hello is
use Ada.Text_IO;
begin
Put_Line("Hello, world!");
end Hello;
</source>

Здесь для применения функции <code>Put_Line</code> содержащий её пакет <code>Ada.Text_IO</code> импортируется с помощью конструкции use, что даёт возможность вызывать функцию по имени без квалификации — указания в вызове имени пакета, содержащего функцию.

== История ==
Разработка языка была проведена в рамках международного конкурса, организованного и профинансированного [[Министерство обороны США|министерством обороны США]].
Целью разработки было получение [[Язык программирования|языка программирования]], который мог бы стать единым для разработки проектов по заказам военного ведомства, главным образом, для разработки встроенных систем военного назначения и для больших военных компьютеров (на базе процессора [[iAPX 432]] от [[Intel]]). Работа началась в [[1975 год]]у с формирования набора требований к языку, который бы в полной мере удовлетворил разработчиков систем указанного типа. Первоначальный список требований, выпущенный под кодовым наименованием «Strawman» («Соломенный»), был представлен на рецензию в ряд организаций и фирм, в течение двух лет последовательно уточнялся, пройдя через «Woodenman» («Деревянный»), «Tinman» («Оловянный»), «Ironman» («Железный») и в конечном счёте превратившись в итоговый документ под названием «Steelman» («Стальной»). «Steelman» был выпущен в июне 1978 года [DoD 1978]<ref name="steelman">{{Cite web |url=https://dwheeler.com/steelman/steelman.htm |title=Steelman document |access-date=2019-03-23 |archive-date=2019-03-23 |archive-url=https://web.archive.org/web/20190323140918/https://dwheeler.com/steelman/steelman.htm |url-status=live }}</ref>.

Ещё до окончательного завершения формирования требований анализ показал, что ни один из имеющихся языков программирования не удовлетворяет требованиям в достаточной мере, так что было принято решение разработать новый язык. Конкурс на его создание был объявлен в [[1977 год]]у, разработчикам было предложено базироваться на одном из трёх языков: [[Паскаль (язык программирования)|Паскаль]], [[Алгол-68]] или [[ПЛ/1]]. Из представленных на конкурс 15 проектов было отобрано 4 (все основаны на Паскале). Эти проекты были отправлены на дальнейшую доработку. На следующем этапе из 4 проектов отобрали два, из которых, после очередной доработки, был выбран один. Этот язык получил наименование «Ада» — разработавшая его группа под руководством француза [[Ишбиа, Жан|Жана Ишбиа]] дала языку название в честь [[Лавлейс, Ада|Августы Ады Кинг Лавлейс]] (1815—1852), дочери поэта [[Байрон, Джордж Гордон|Джорджа Байрона]], которая занималась разработкой программ для [[Разностная машина Чарльза Бэббиджа|вычислительной машины Бэббиджа]] и считается первым программистом в мире.

В [[1983 год]]у язык был официально стандартизован [[Американский национальный институт стандартов|ANSI]]. Стандарт языка [[Американский национальный институт стандартов|ANSI]]/MIL-STD-1815-A-1983 был утверждён [[17 февраля]] 1983 года. Министерство обороны США сделало наименование «Ada» зарегистрированной торговой маркой, запретив выпускать [[транслятор]]ы языка, не прошедшие официальную процедуру [[Тестирование программного обеспечения|тестирования]] на соответствие стандартам. Процедура состояла в прогоне через тестируемый [[компилятор]] большого количества (более 1000) тестовых программ (так называемый комплект ACVC), для каждой из которых был однозначно определён результат тестирования: либо удачная компиляция, либо выдача вполне конкретного сообщения об ошибке. Тестирование проводилось по принципу «всё или ничего» — при ошибке в обработке хотя бы одного тестового примера компилятор считался не прошедшим тест, причём тестирование было действительно только на той аппаратной и программной платформе, на которой оно проводилось. Таким образом была в зародыше подавлена возможность образования диалектов языка Ада.

В [[1987 год]]у язык Ада был официально стандартизован [[ISO]]. С этого момента Министерство обороны США перевело язык в [[общественное достояние]].

К 1990 году в мире существовало уже около 200 [[компилятор]]ов, соответствовавших стандарту языка Ада.

В [[1995 год]]у был принят новый стандарт Ады, известный как Ada95. В язык были введены средства объектного программирования. Кроме того, язык был дополнен более развитыми средствами для взаимодействия с программами, написанными на других языках.

В марте [[2007 год]]а опубликованы<ref name="iso">{{Cite web |url=http://www.iso.org/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=45001 |title=Обновлённый стандарт на сайте iso.org |access-date=2008-04-10 |archive-date=2007-05-02 |archive-url=https://web.archive.org/web/20070502200923/http://www.iso.org/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=45001 |url-status=live }}</ref> изменения в стандарте Ады. Они коснулись, в основном, возможностей [[Объектно-ориентированное программирование|объектно-ориентированного программирования]]: введены [[Интерфейс (объектно-ориентированное программирование)|интерфейсы]], принят обычный для большинства гибридных языков синтаксис вызова метода, внесён ещё ряд дополнений.

В 2012 году [[Международная организация по стандартизации|ISO]] принят и опубликован новый стандарт языка<ref>{{Cite web |url=http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=61507 |title=Ada 2012 |access-date=2016-11-04 |archive-date=2016-09-12 |archive-url=https://web.archive.org/web/20160912200113/http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=61507 |url-status=live }}</ref>.

== Ада в СССР и России ==
{{глобализировать|дата=2017-05-07}}
В 1980-х годах была организована рабочая группа по языку Ада при [[Государственный комитет по науке и технике|Госкомитете СССР по науке и технике]]. Группа занималась изучением всех открытых (а также, по слухам, добытых разведкой закрытых) данных по языку Ада и исследовала возможность и целесообразность развития и использования Ады в СССР. Деятельность этой группы привела к концу 1980-х годов к разработке компиляторов Ады для практически всех применявшихся в СССР компьютеров. Было выпущено несколько книг по языку Ада на русском языке.

В [[Московский государственный университет имени М. В. Ломоносова|МГУ]] проводилась работа по созданию собственных пакетов тестирования ада-трансляторов на соответствие стандартам. В [[Санкт-Петербургский государственный университет|ЛГУ]] для создания ада-системы была использована ранее разрабатывавшаяся для реализации [[Алгол 68|Алгола-68]] система «Паллада», которую перевели на Аду. Система содержит интегрированную среду разработки, компилятор, текстовый редактор, отладчик, библиотеки, систему контроля версий и командный интерпретатор.

После распада СССР работа по распространению Ады практически прервалась. Правда, были приняты три программы развития разработки ПО на Аде (в [[Министерство обороны Российской Федерации|Министерстве обороны]], [[Министерство гражданской авиации СССР|Министерстве гражданской авиации]] и [[Министерство образования и науки Российской Федерации|Министерстве образования и науки]]), но разработка их ведётся медленно и нескоординированно. В результате в [[Россия|России]] язык Ада малоизвестен, большинство современных российских программистов считает его «мёртвым языком» и ничего о нём не знает. Ада используется в России и [[СНГ]] отдельными энтузиастами. Тем не менее, язык применяется для промышленной разработки ПО. Известно несколько разработанных на Аде проектов, работающих в России. Среди них:
* Станция документальной связи МО РФ. Основной задачей является обеспечение обмена документальной информацией в сетях передачи данных [[Министерство обороны Российской Федерации|Министерства обороны Российской Федерации]]. Программно-аппаратный комплекс был совместно разработан Производственной организацией «Вычислительная техника и средства автоматизации» (аппаратное обеспечение) и группой программистов сектора вне трасс Северо-Кавказского центра управления воздушным движением «Стрела». Программное обеспечение комплекса написано на языке программирования Ada с использованием компилятора [[GNAT]]. Поддержка распределенных вычислений осуществляется дополнительным компонентом [[GLADE]].
* Комплекс стандартного пилотажно-навигационного и связного оборудования для российского самолета-амфибии '''[[Таганрогский авиационный научно-технический комплекс имени Г. М. Бериева|Бериев]] [[Бе-200]]'''. Разработка проведена Научно-исследовательским институтом авиационного оборудования г. Жуковский совместно с американской фирмой [[AlliedSignal|Allied Signal]], [[Флорида|Флорида, США]]. Использован комплекс разработки ада-систем фирмы DDC-I на платформе [[Intel 80486]].

== Критика ==
С момента появления Ада подвергся критике некоторых признанных авторитетов в области разработки языков программирования, в первую очередь — за сложность синтаксиса и большой объём. В частности, язык критиковали [[Чарльз Хоар]] и [[Никлаус Вирт]] (участвовавшие со своим проектом в данном конкурсе, но выбывшие после первого этапа), а также [[Эдсгер Дейкстра]].

Дейкстра усомнился, что язык такой сложности, как Ада, может быть обозрим и управляем.

{{начало цитаты}}
Если Ada собирается выдать стандарт, желательно, чтобы он был недвусмысленно документирован. По меньшей мере две группы попытались сделать это; в результате обе выдали около 600 страниц формального текста. Это гораздо больше, чем необходимо, чтобы удостовериться в невозможности хотя бы твердо установить, что оба документа определяют один и тот же язык. Ошибка очевидной неуправляемости этих двух документов кроется не в двух группах, составивших их, не в принятом ими формализме, а лишь в самом языке: сами не обеспечив формального определения, могут ли его разработчики скрыть, что они предлагают неуправляемого монстра. То, что Ada уменьшит проблемы программирования и увеличит надёжность наших разработок до приемлемых границ, — это лишь одна из тех сказок, в которые могут поверить только люди с военным образованием.{{конец цитаты|источник=[http://club.shelek.ru/viewart.php?id=217 Научная фантастика и научная реальность в информатике (Edsger W. Dijkstra, EWD952)]}}

Хоар выразил своё сожаление тем, что «погремушки и побрякушки возобладали над фундаментальными требованиями надёжности и безопасности» и предостерёг от «армады ракет, летящих не туда из-за не обнаруженной вовремя ошибки в компиляторе Ады». [[Никлаус Вирт]] высказался более сдержанно, но тоже негативно. Он сказал: «Слишком много всего вываливается на программиста. Я не думаю, что, изучив треть Ады, можно нормально работать. Если вы не освоите всех деталей языка, то в дальнейшем можете споткнуться на них, и это приведёт к неприятным последствиям»<ref>Брябрин В. М. Программное обеспечение персональных ЭВМ. М.: Наука, 1988.</ref>. [[Жан Ишбиа]], руководитель группы разработчиков Ады, выразив своё «уважение и восхищение» Виртом, не согласился с ним, сказав: «Вирт верит в простые решения сложных проблем. Я не верю в такие чудеса. Сложные проблемы требуют сложных решений».

Вызывает сомнения и процедура проверки соответствия компилятора стандарту языка путём тестирования. Из общих соображений ясно, что тестирование может найти несоответствие, но не может гарантировать правильность. Практическим подтверждением этого является тот факт, что сертифицированные компиляторы, будучи проверены на другом наборе тестов, обнаруживали несоответствие стандарту<ref name="rybin"/>.

Сторонники Ады утверждают, что единственная альтернатива большому и сложному языку в больших проектах — это применение нескольких компактных языков, неизбежно порождающее проблемы с совместимостью, для избавления от которых и была придумана Ада. Они замечают также, что представление о сложности разработки на Аде верно лишь отчасти: написание простой программы на Аде действительно требует больше времени, чем на других, менее формальных языках, типа [[Си (язык программирования)|Си]], но отладка и сопровождение программ, особенно крупных и сложных, значительно упрощается. По утверждению Стефена Цейгера из [[Rational Software Corporation]]<ref>[http://www.adaic.com/whyada/ada-vs-c/cada_art.html Stephen Zeigler, Comparing Development Costs of C and Ada.] {{webarchive|url=https://web.archive.org/web/20070404120024/http://www.adaic.com/whyada/ada-vs-c/cada_art.html |date=2007-04-04 }}</ref>, разработка программного обеспечения на Аде в целом обходится на 60 % дешевле, а разработанная программа имеет в 9 раз меньше дефектов, чем при использовании [[Си (язык программирования)|языка Си]].

== Распространение, перспективы ==
На практике оказалось, что Ада, заняв предназначенную ей нишу в военных и родственных им разработках встроенных систем, за пределы данной ниши так и не вышла ни на Западе, ни в СССР, ни на [[Постсоветское пространство|постсоветском пространстве]]. Причин этому называется много. Противники языка упирают на его сложность и недостатки, сторонники говорят, прежде всего, об объективных обстоятельствах появления языка и негативных сторонах процесса его внедрения. По мнению С. И. Рыбина, старшего научного сотрудника [[Научно-исследовательский вычислительный центр МГУ|НИВЦ МГУ]], консультанта компании AdaCore EU, эксперта по языку Ада рабочей группы ISO по стандарту языка<ref name="rybin">{{Cite web |url=http://www.ada-ru.org/wiki/rybin |title=Интервью С. И. Рыбина |access-date=2008-04-10 |archive-date=2008-05-15 |archive-url=https://web.archive.org/web/20080515204007/http://www.ada-ru.org/wiki/rybin |url-status=live }}</ref>, своими неудачами Ада обязана двум основным причинам:
* Во время проектирования языка Пентагон предполагал, что всё новое ПО будет создаваться только на Аде. Из-за этого Ада получила крайне примитивные средства взаимодействия с программами на других языках. На практике оказалось, что написать на Аде вообще всё — нереально (хотя бы потому, что возникала необходимость взаимодействовать с готовыми разработками на других языках). Поэтому в отраслях, где не было жёсткого требования «писать только на Аде», предпочитали другие языки, более приспособленные к многоязычной среде. В стандарте 1995 года проблема взаимодействия с другими языками была решена, но время оказалось упущено.
* Парадоксально, но распространению Ады помешала финансовая и организационная поддержка [[Пентагон|Пентагона]]. Программы на Аде, написанные для военных, работали на самой мощной вычислительной технике, какая была доступна, поэтому разработчики компиляторов заботились в первую очередь о прохождении тестов ACVC, и только потом — об эффективности компилятора и создаваемого им кода. В начале 1980-х годов начался бум микрокомпьютеров, и трансляторы для распространённых языков ([[Паскаль (язык программирования)|Паскаля]], [[Си (язык программирования)|Си]], [[Бейсик|Бейсика]]) были оперативно оптимизированы под маломощные системы. Для Ады стимула в такой модернизации не оказалось, в результате ставшие через несколько лет основной массой мирового вычислительного парка персональные компьютеры оказались без качественного транслятора Ады. Естественно, что Ада потеряла этот сегмент рынка. Лишь относительно недавно появился [[компилятор]] [[GNAT]], качественный и производительный, но и здесь время оказалось упущено.

Тем не менее, по некоторым осторожным прогнозам, с удешевлением аппаратуры и распространением встроенных систем со сложным ПО рынок для программ на Аде может заметно вырасти:

{{начало цитаты}}… Ада достаточно прочно занимает нишу больших встроенных систем с повышенными требованиями к надежности, и едва ли она уступит кому-либо эту нишу в обозримом будущем. Рост производительности аппаратных компонент при одновременном падении их стоимости ведет к тому, что встроенные системы становятся все сложнее и сложнее, и может так оказаться, что потенциальный рынок для Ада-приложений вскоре существенно вырастет.{{конец цитаты|источник=Интервью С.И. Рыбина<ref name="rybin"/>}}

Кроме того, Ада имеет, пусть и весьма ограниченное, применение в сфере высшего образования. В МГУ и Харьковском университете читаются спецкурсы по Аде. Однако, по словам того же {{nobr|С. И. Рыбина}},

<blockquote>
… сейчас на постсоветском пространстве в области программной индустрии и образования сложился очевидный порочный круг: в индустрии практически не знают про Аду, соответственно, со стороны индустрии нет запроса к образованию по подготовке Ада-специалистов, и из вузов в индустрию приходят новые люди, которые практически ничего не знают про Аду.
</blockquote>

== Операционные системы ==
На Аде написан ряд [[Операционная система|операционных систем]], среди них — [https://marte.unican.es/index.htm MaRTE] {{Wayback|url=https://marte.unican.es/index.htm |date=20170710125902 }}, [[RTEMS]] (система с открытым исходным кодом, разработанная [[DARPA]] [[Министерство обороны США|МО]] [[США]], используется в ракетных системах и на борту автоматической межпланетной станции [[Mars Reconnaissance Orbiter]] как управляющая радиомодулем «Electra»), {{iw|Ravenskar|||Ravenscar profile}}, [[RTOS-32]]. В разработке находится ещё несколько проектов создания операционных систем на Аде, среди них — [[AuroraUX]] — проект по переписыванию ядра [[OpenSolaris]], а потом — [[DragonFly BSD]], а также проект по созданию на микроядре [[L4 (микроядро)|L4]] системы [[Lovelace]].

Ранее существовали и другие операционные системы, написанные на Аде, среди них — BiiN, Pulse, AdaOS.

В настоящее время развивается операционная система Muen<ref>{{Cite web|url=https://muen.codelabs.ch/|title=Muen {{!}} SK for x86/64|publisher=muen.codelabs.ch|lang=en|access-date=2017-12-13|archive-date=2020-11-12|archive-url=https://web.archive.org/web/20201112012101/https://muen.codelabs.ch/|url-status=live}}</ref>, написанная на Ada и SPARK, используются учебные ОС Ada Bare bones<ref>{{Cite web|url=http://wiki.osdev.org/Ada_Bare_bones|title=Ada Bare bones - OSDev Wiki|publisher=wiki.osdev.org|lang=en|access-date=2017-12-13|archive-date=2017-12-13|archive-url=https://web.archive.org/web/20171213210858/http://wiki.osdev.org/Ada_Bare_bones|url-status=live}}</ref>, Microkernel Ada (TAMP<ref>{{Статья|автор=Luke A. Guest|заглавие=tamp: The Ada Microkernel Project|ссылка=https://github.com/Lucretia/tamp|год=2017-12-05|издание=|access-date=2017-12-13|archive-date=2018-06-11|archive-url=https://web.archive.org/web/20180611031830/https://github.com/Lucretia/tamp|url-status=live}}</ref>).

== Компиляторы Ады ==
{| class="wikitable"
|-
! Название
! Компания
! Версия
! Целевые платформы
! Сайт
|-
!Компиляторы проекта DragonLace (GNAT AUX и будущие компиляторы DRACO Ada)
|проект сообщества
|Ада - все версии языка; версии компиляторов: 4.9.х или 6.3.х (для различных платформ)
|LLVM, DragonFly, FreeBSD, NetBSD, OpenBSD, OmniOS, Android
|http://www.dragonlace.net/ {{Wayback|url=http://www.dragonlace.net/ |date=20180331173336 }}
|-
! Ada-C/C++ Changer (на технологии AdaMagic)
| MapuSoft
| Ада 83, Ада 95, подмножество Ада 2005
| Си, C++
| [http://www.mapusoft.com/ada-to-c-changer/ www.mapusoft.com] {{Wayback|url=http://www.mapusoft.com/ada-to-c-changer/ |date=20161121105328 }}
|-
! Ada/Ed
| [[Нью-Йоркский университет]]
| Ада 83
| [[MS-DOS]] [[x86]], [[UnixWare]]
| [https://web.archive.org/web/20161005113231/http://www2.informatik.uni-stuttgart.de/iste/ps/ada-software/html/dos_ada.html www2.informatik.uni-stuttgart.de]
|-
! AdaMagic
| SofCheck
| Ада 95
| ?
| [http://www.sofcheck.com www.sofcheck.com] {{Wayback|url=http://www.sofcheck.com/ |date=20210304093332 }}
|-
! AdaMULTI
| [[Green Hills Software]]
| Ада 83, Ада 95, [[Си (язык программирования)|Си]], [[Си++]], [[Фортран]]
| [[Solaris]] [[SPARC]], [[GNU]]/[[Linux]] [[x86]], [[Windows]]
| [http://www.ghs.com www.ghs.com] {{Wayback|url=http://www.ghs.com/ |date=20210115094938 }}
|-
! DEC Ada
| [[Hewlett Packard]]
| Ада 83
| [[OpenVMS]]
| [https://web.archive.org/web/20081228230719/http://h71000.www7.hp.com/commercial/ada/ada_index.html h71000.www7.hp.com]
|-
! [[GNAT]]
| AdaCore
| Ада 83, Ада 95, Ада 2005, Ада 2012, Си
| Solaris SPARC, Linux x86/[[x86-64]], Windows, [[Java Virtual Machine]], другие
| [http://libre.adacore.com libre.adacore.com] {{Wayback|url=http://libre.adacore.com/ |date=20050212023242 }}
|-
! ICC
| Irvine Compiler Corporation
| Ада 83, Ада 95
| [[DEC]] [[VAX]]/[[VMS]], [[HP 9000/700]], Solaris SPARC, [[DEC Alpha]] [[OSF/1]], PC Linux, [[SGI]] [[IRIX]], Windows
| [http://www.irvine.com/products.html www.irvine.com] {{Wayback|url=http://www.irvine.com/products.html |date=20090502164549 }}
|-
! Janus/Ada
| RR Software
| Ада 83, Ада 95
| [[SCO]], [[UnixWare]], [[Interactive]], [[MS-DOS]], Windows
| [http://www.rrsoftware.com www.rrsoftware.com] {{Wayback|url=http://www.rrsoftware.com/ |date=20220121174654 }}
|-
! MAXAda
| Concurrent
| Ада 95
| Linux/[[Xeon]], [[PowerPC]]
| [http://www.ccur.com www.ccur.com] {{Wayback|url=http://www.ccur.com/ |date=20110903103900 }}
|-
! ObjectAda
| PTC
| Ада 95, {{нп3|Ravenskar|Ravenskar|en|Ravenscar profile}}
| Solaris SPARC, [[VxWorks]], [[HP-UX]], [[IBM]] [[AIX]], Linux, Windows, [[Java Virtual Machine]] / Java с поддержкой браузеров
| [http://www.ptc.com/developer-tools/objectada www.ptc.com] {{Wayback|url=http://www.ptc.com/developer-tools/objectada |date=20161010234842 }}
|-
! PowerAda
| OC Systems
| Ада 83, Ада 95
| Linux, AIX (Ада 95); [[IBM System z|IBM System 370/390]] (Ада 83)
| [http://www.ocsystems.com/prod_powerada.html www.ocsystems.com] {{Wayback|url=http://www.ocsystems.com/prod_powerada.html |date=20100824181857 }}
|-
! Rational Apex
| [[IBM]] [[Rational Software|Rational]]
| Ада 83, Си, Си++
| Solaris SPARC, Linux
| [http://www-01.ibm.com/software/awdtools/developer/ada www-01.ibm.com] {{Wayback|url=http://www-01.ibm.com/software/awdtools/developer/ada |date=20090927202650 }}
|-
! SCORE
| DDC-I
| Ада 83, Ада 95, Си, Фортран
| Solaris SPARC, Windows
| [https://web.archive.org/web/20090627174258/http://www.ddci.com/products_SCORE-l-Ada www.ddci.com]
|-
! XD Ada
| SWEP-EDS
| Ада 83
| OpenVMS Alpha/VAX
| [https://web.archive.org/web/20080705095146/http://www.swep-eds.com/XD%20Ada/Xd%20ada.htm www.swep-eds.com]
|-
! XGC Ada
| XGC Software
| Ада 83, Ада 95, Си
| Solaris SPARC, PC Linux, Windows ([[Cygwin]])
| [http://www.xgc.com www.xgc.com] {{Архивировано|url=https://archive.today/20130209223514/http://www.xgc.com/manuals/m1750-ada/m1750/book1.html |date=2013-02-09 }}
|-
! LLVM ([[Low Level Virtual Machine]])
| LLVM Developer Group
|
| на большинство UNIX-подобных систем и Windows
| llvm.org
|-
! A# (порт Ada на платформу [[Microsoft .NET]])
| [[Академия ВВС США]] ([[GNU General Public License|GNU]])
|
| Windows
| [http://asharp.martincarlisle.com asharp.martincarlisle.com] {{Wayback|url=http://asharp.martincarlisle.com/ |date=20110702143415 }}
|-
|}

За исключением [[LLVM]], [[GNAT]] и [[XGC]] (для некоторых платформ) вышеперечисленные компиляторы являются платными. Некоторые фирмы, например [[Aonix]], предлагают бесплатные демонстрационные версии, ограниченные либо по времени использования, либо по функциональности.

Среды разработки [[NetBeans]]<ref>{{Cite web |url=http://wiki.netbeans.org/Ada |title=Ada Plugins for NetBeans |access-date=2010-10-02 |archive-date=2017-08-05 |archive-url=https://web.archive.org/web/20170805235951/http://wiki.netbeans.org/Ada |url-status=live }}</ref> и [[Eclipse (среда разработки)|Eclipse]] имеют плагины для работы с Ада.

== Влияние ==
Синтаксис Ады в значительной степени воспроизведён в таких языках, как [[PL/SQL]] (и впоследствии [[PL/pgSQL]]), [[VHDL]], [[SPARK (язык программирования)|SPARK]].

В языках программирования [[E (язык программирования)|Е]]<ref>{{Cite web|url=http://erights.org/enative/index.html|title=The ENative Project|author=Mark S. Miller|publisher=erights.org|access-date=2017-01-07|archive-date=2017-02-02|archive-url=https://web.archive.org/web/20170202014433/http://erights.org/enative/index.html|url-status=live}}</ref> и Clarity<ref>{{Статья|автор=Brian T. Lewis, L. Peter Deutsch, Theodore C. Goldstein, Brian T. Lewis, Theodore C. Goldstein|заглавие=Clarity MCode: A retargetable intermediate representation for compilation|ссылка=http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.9364|издание=ACM SIGPLAN notices|год=1995-01-01|том=30|страницы=119–128|access-date=2017-01-07|archive-date=2013-05-08|archive-url=https://web.archive.org/web/20130508232254/http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.9364|url-status=live}}</ref>, затем - во множестве других: например, в языках [[Erlang]], [[Fortress]], [[Chapel (язык программирования)|Chapel]], [[X10 (язык программирования)|X10]], [[D (язык программирования)|D]] и [[Go]] получили дальнейшее развитие идеи распределённых, многозадачных, многопоточных вычислений, которые реализованы самим языком, а не внешними библиотеками, впервые широко применённые на практике именно в языке Ада.

== Инструменты ==
* [http://www.open-do.org/about/ Open-DO] {{Wayback|url=http://www.open-do.org/about/ |date=20180401213454 }} — проект по подготовке специализированных квалифицированных программных инструментов с открытым исходным кодом и сертифицируемых компонентов для Open-DO («DO-178C») — новой редакции стандарта авионики для бортового программного обеспечения.

=== Архивы материалов ===

* [http://purl.umn.edu/41474 Ada Programming Language Materials, 1981–1990]. [[Charles Babbage Institute]], University of Minnesota. Включает литературу по программным продуктам, разработанным для языка Ada, публикации правительства США, включая отчеты по проектам Ada 9X, технические отчеты, рабочие документы, информационные бюллетени; и информацию о группе пользователей.
* Public Ada Library (PAL) — это бесплатный репозиторий сотен мегабайт информации, относящийся к Ada. PAL содержит программы, компоненты, инструменты, общую информацию и учебные материалы по Ada. Имеет известный канонический адрес местонахождения: [https://web.archive.org/web/20111207231747/http://wuarchive.wustl.edu/] (WUArchive – Washington University Public Archives Address ... [128.252.135.4]), который, однако, не всегда доступен в сети. Walnut Creek выпускал в 1995 г. CDROM (2 шт.), которые являются полной копией Public Ada Library (PAL) по состоянию на 28 апреля 1995 года. Образы этих дисков доступны<ref>{{Cite web|url=https://archive.org/details/walnutcreekcdrom|title=The Walnut Creek CD-ROM Collection : Free Software : Free Download, Borrow and Streaming : Internet Archive|publisher=archive.org|lang=en|access-date=2018-10-01}}</ref> в Архиве Интернета.

== Организации ==

* Ada Conformity Assessment Authority (ACAA)<ref>{{Cite web|url=http://www.ada-auth.org/acaa.html|title=Ada Conformity Assessment|publisher=www.ada-auth.org|access-date=2019-02-04|archive-date=2019-03-10|archive-url=https://web.archive.org/web/20190310111735/http://www.ada-auth.org/acaa.html|url-status=live}}</ref> - управление по оценке соответствия Ada - отвечает за управление оценками соответствия Ada стандартам.

== Примечания ==
{{примечания}}

== Ссылки ==
* [http://www.osp.ru/os/2003/10/183515/ Василий Фофанов, Сергей Рыбин. Язык Ада — двадцать лет спустя] {{Wayback|url=http://www.osp.ru/os/2003/10/183515/ |date=20101206054748 }}
* [http://www.osp.ru/pcworld/1997/08/157839/ Е. М. Фрейдер, М. Ю. Фрейдер. Опыт использования языка Ада] {{Wayback|url=http://www.osp.ru/pcworld/1997/08/157839/ |date=20090708192718 }}
* [http://chernykh.net/content/view/220/233/ Появление языка Ада] {{Wayback|url=http://chernykh.net/content/view/220/233/ |date=20090228175813 }}
* [http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html Who’s Using Ada?Real-World ProjectsPowered by the Ada Programming LanguageNovember 2014] {{Wayback|url=http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html |date=20150831212010 }}
* {{статья|автор=В. О. Мищенко, Украина, Харьков|заглавие=Язык Ада возрождает свои позиции в постсоветских странах: взгляд из Харьковского национального университета|ссылка=http://www.nestor.minsk.by/kg/2010/47/kg04711.html|издание=Компьютерная газета|место=Минск|издательство=ИД «Нестор»|год=2010|номер=47}}.

== Литература ==

* {{книга
|заглавие = Программирование на языке Ада
|автор = Вегнер П.
|ссылка = http://files.nehudlit.ru/area001/self0665/bar_dj.rar
|страницы = 240
|год = 1983
|место = М.
|издательство = «[[Мир (издательство)|Мир]]»
}}{{Недоступная ссылка|date=Сентябрь 2018 |bot=InternetArchiveBot }}
* {{книга
|заглавие = Язык Ада в проектировании систем
|автор = Бар Р. Дж.
|ссылка = http://files.nehudlit.ru/area001/self0665/bar_dj.rar
|страницы = 318
|год = 1988
|место = М.
|издательство = «[[Мир (издательство)|Мир]]»
}}{{Недоступная ссылка|date=Сентябрь 2018 |bot=InternetArchiveBot }}
* {{книга
|заглавие = Адское программирование.Ada 95.Компилятор GNAT.
|автор = Гавва А.
|ссылка = http://www.ada-ru.org/files/ADA_RU.pdf.gz
|страницы = 431
|год = 2004
|archive-url=https://web.archive.org/web/20150811070514/http://www.ada-ru.org/files/ADA_RU.pdf.gz|archive-date=2015-08-11}}

* ''Пайл Ян''. ''АДА'' - ''язык встроенных систем'' - "Наука" - 1984.
* {{книга
|заглавие = Ada 2012 Rationale
|автор = John Barnes
|ссылка = http://www.ada-auth.org/standards/12rat/Ada2012_Rationale.pdf
|страницы = 215
|год = 2011,2013
}}

* {{книга
|заглавие = Основные концепции языков программирования
|оригинал = Concepts of Programming Languages
|автор = Роберт В Себеста.
|ссылка = https://archive.org/details/isbn_5845901928
|isbn = 5-8459-0192-8
|страницы = [https://archive.org/details/isbn_5845901928/page/n658 672]
|год = 2001
|издание = 5-е изд
|место = М.
|издательство = «[[Вильямс (издательство)|Вильямс]]»
}}
* {{Книга|автор = |заглавие = Языки программирования Ада, Си, Паскаль|оригинал = Comparing and Assessong Programming Languages Ada, C, and Pascal|ответственный = А.Фьюэр, Н.Джехани|издание = |место = М.|издательство = Радио и Связь|год = 1989|страницы = |страниц = 368|isbn = 5-256-00309-7|тираж = 50000|ref = Фьюэр, Джехани}}
* {{cite web|url=http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TTL.html|title=Ada Reference Manual, ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1|publisher=Ada Resource Association|access-date=|archive-date=2013-12-05|archive-url=https://web.archive.org/web/20131205013428/http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TTL.html|url-status=live}}
* [https://web.archive.org/web/20161027211855/http://www.mediascan.by/index.files/2016-09-08_Quentin_Ochem.pdf Ada для программистов C++ или Java (Ada for the C++ or Java Developer)]
* [https://web.archive.org/web/20161221053447/http://adacode.ru/yazyk-programmirovaniya-ada/ Адское программирование (Материалы сайта). — 2016.]
* Coronado Enterprises (Copyright © 1988-1998). [https://perso.telecom-paristech.fr/pautet/Ada95/a95list.htm ADA 95 TUTORIAL] {{Wayback|url=https://perso.telecom-paristech.fr/pautet/Ada95/a95list.htm |date=20180401003741 }}
* [http://archive.adaic.com/docs/craft/craft.html Ada95: The Craft of Object Oriented Programming] {{Wayback|url=http://archive.adaic.com/docs/craft/craft.html |date=20180327132007 }}
* [http://www.adahome.com/Tutorials/Lovelace/lovelace.htm Ada95 Lovelace Tutorial Home Page] {{Wayback|url=http://www.adahome.com/Tutorials/Lovelace/lovelace.htm |date=20180420173445 }} - общедоступный краткий онлайн-учебник и его ещё более краткий русский перевод "[http://www.ada-ru.org/tutorial Уроки Ады] {{Wayback|url=http://www.ada-ru.org/tutorial |date=20180331173457 }}".
* [http://www.ada-ru.org/files/Safe_And_Secure.pdf Джон Барнс, Бэн Брасгол. Безопасное и надежное программное обеспечение на примере языка Ада 2012 и SPARK 2014 (русский перевод)] {{Wayback|url=http://www.ada-ru.org/files/Safe_And_Secure.pdf |date=20180331173530 }}
* Список литературы в теме "[http://computer-programming-forum.com/44-ada/60f0928540ac3d3a.htm Ada books for 1996] {{Wayback|url=http://computer-programming-forum.com/44-ada/60f0928540ac3d3a.htm |date=20180205002426 }}" на форуме, составленный пользователем Kenneth Ma с этого форума.
* [http://www.iuma.ulpgc.es/users/jmiranda/gnat-rts/ A Detailed Description of the GNU Ada Run Time] {{Wayback|url=http://www.iuma.ulpgc.es/users/jmiranda/gnat-rts/ |date=20180927223056 }} (Version 1.0). Integrated with the GNAT 3.15p sources and the Annotated Ada Reference Manual (Technical Corrigendum 1). Copyright (c) Javier Miranda Applied Microelectronics Reseach Institute University of Las Palmas de Gran Canaria Canary Islands. Spain.2002. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any latter published by the Free Software Foundation. (Подробное описание времени выполнения GNU Ada (Версия 1.0). Интегрировано с источниками GNAT 3.15p и справочным руководством Annotated Ada (Техническое исправление 1). Авторское право (c) Хавьер Миранда jmiranda@iuma.ulpgc.es (Права на текст также определены условиями лицензии GNU Free Documentation License, версии 1.1 или любой более поздней версии, опубликованной Free Software Foundation). Прикладная микроэлектроника Исследовательский институт Университет Лас-Пальмас-де-Гран-Канария Канарские острова Испания. 2002.).
* Генерация случайных чисел в Ada 9X<ref>{{Cite web|url=http://ftp.mcs.anl.gov/pub/tech_reports/reports/P486.html|title=Random Number Generation in Ada 9X|publisher=ftp.mcs.anl.gov|access-date=2019-02-04|archive-date=2021-08-07|archive-url=https://web.archive.org/web/20210807205503/https://ftp.mcs.anl.gov/pub/tech_reports/reports/P486.html|url-status=live}}</ref>.

'''Стандарты'''
* ISO/IEC 8652:1987 — Programming languages — Ada
* ГОСТ 27831-88 — «Язык программирования АДА» (соответствует стандарту ISO 8652:1987)
* ISO/IEC 8652:1995 — Information technology — Programming languages — Ada (Ada95)
* ISO/IEC 8652:2012 — Information technology — Programming languages — Ada (текущая редакция стандарта)

{{Актуальность|на=2007 год|дата=2015-10-22}}
{{Перевести|en|Ada (programming language)}}

[[Категория:Языки программирования семейства Паскаля]]
[[Категория:Объектно-ориентированные языки программирования]]
[[Категория:Языки программирования платформы .NET]]
[[Категория:Ада|*]]
[[Категория:Статьи с примерами кода на Аде]]
[[Категория:Языки программирования по алфавиту]]

wiki12 - Вклад [ru]

Ада (язык программирования)