Основы программирования на языке Ada

[mailusr]

В настоящее время существует международный стандарт ISO/IEC 8652:1995(E), который описывает основные положения языка. Синтаксис языка ada чем-то напоминает pascal. Компиляторы проходят ежегодную сертификацию на соответствие стандарту. Для этого компилируют серию тестовых программ и анализируют готовый код или сообщения об ошибках при компиляции.
Базовый пример - вывод строки "Hello, world!"

with Ada.Text_IO; 
use Ada.Text_IO;
 
procedure Hello is
begin
  Put_Line("Hello, world!");
end Hello;

В отличие от pascal в языке ada ввод/вывод текста вынесен в отдельный пакет расширения. Подключение пакетов осуществляется при помощи конструкции with. Конструкция use используется для возможности использования пакета без необходимости написания полного имени. Без use вышеприведенный пример выглядит так:

with Ada.Text_IO; 
 
procedure Hello is
begin
  Ada.Text_IO.Put_Line("Hello, world!");
end Hello;

[IronFeliks]

странно... неужели старушка Ада еще жива?

[mailusr]

Сообщение от IronFeliks

странно... неужели старушка Ада еще жива?

Стандарт Ада 2005. Скоро ожидаем новый стандарт.

[IronFeliks]

Стандарт-это круто... но старушка-то - жива или только в стандартах осталась?

[mailusr]

Жива конечно - Ada сегодня применяется в разработке практически для всех моделей коммерческих и военных самолетов

[IronFeliks]

хм... что - КБ Сухого и Боинга - дружно на Аде строчат? И передаточные функции систем управления - тоже на Аде считают? Во дела... Неужели появился приличный компилятор?

[mailusr]

Система управления самолетами ИЛ96-300 и Боинг 777 написана на языке Ada. А также системы управления поездами метро в крупнейших городах Европы. Последние разработки - Boeing 787 Dreamliner, Система заправки самолетов в воздухе (ARBS), Система катапультирования пилотов для самолетов F-18, F-14, или T-45 за 0,2 секунды - на компиляторе GNAT от AdaCore

[IronFeliks]

во прогресс шагнул... а мы помнится софт для бортовых ЭВМ даже не на Ассемблере лепили, а прямо в машинных кодах... компилятор с Ады тогда был, но только экспериментальный....

[mailusr]

Сообщение от IronFeliks

а мы помнится софт для бортовых ЭВМ даже не на Ассемблере лепили, а прямо в машинных кодах...

Вы сами лично писали? Очень интересно. Расскажите, пожалуйста, думаю и другим интересно будет.

[IronFeliks]

да чего там интересного... мы операционную систему делали, тоска зеленая... программа с перфоленты записана в ДОЗУ (долговременное ОЗУ - такой шкаф с кучей клавиш) и оттуда уж ей процессор стендовой машины кушает. Обычно сразу давится какой-либо ошибкой, но понять можно толко по адресу останова и индикации машинного слова, на котором проц заткнулся. И сидишь как дурак с чистой шеей-пытаешься понять по листингу программы, полученному на кросс-платформе- что же такого и какая сволочь наваяла. Творчество-то коллективное-в лаборатории куча групп творила нетленку. Группа ввода-вывода(это мы), группа диспетчеров процессов, группа межмашинного обмена, группа генерации дистрибутива, группы по периферийным устройствам... человек 15 в общей сложности, под мудрым руководством завлаба Виталика Иосифовича Виткина. Ну и контрагенты наши - "функциональщики". Это типа прикладных программистов- писали ту лабуду, котрая собственно и управляет системами самолёта. Наша хрень должа была этой самой лабуде передавать внешние прерывания, следить за порядком в очередях и вообще.