Реферат: Язык АДА

Так же там существуют версии GNAT'a для WinNT, Win95, MacOS, и даже версия для DOS называемая "EZ2Load".

Учебник

Итак, Я думаю пора приступать к настоящему обучению. Конечно это не законченый учебник, это просто краткое введение, которое покажет вам базовую структуру программы на языке Ада и даст вам несколько готовых к компиляции примеров.

Сперва Я хочу чтобы читатель узнал что же такое Ада. Так же как и ее предшествинник Паскаль и ее кузен Си, Ада это структурый язык. Другими словами, программа на Аде это организованная последовательность различных секций, в то время как в неструктурных языках таких как Бейсик, вы можете писать что угодно и где угодно.

Также, Аде присуща своя собственная терминология, и Я далее буду использовать несколько таких слов, со значением которых вы возможно не знакомы:

· пакет (package) , файл искодного кода программы в котором хранится определенный набор связанных по смыслу команд, которые делают например такие вещи как печать текста, математические вычисления, и т.д. Они в чем-то похожи на заголовки в языке Си, но не являются прямой аналогией.
(прим перев: они ближе к модулям в Турбо Паскале (хотя точнее на оборот, они слизаны с Ады)

· переменная (variable) , это именованая область памяти в которой может хранится некоторое значение, например число, символ, или слово.

· предложение или инструкция (statement) , команда для выполнения специфического действия.

Все программы на Аде имеют следующую базовую структуру:

with Имя_Пакета; use Имя_Пакета;

procedure Имя_Процедуры

Переменная : Некоторый_Тип_Значений;

begin

Предложение_1;

Предложение_2;

end Имя_Процедуры;

Имя_Процедуры часто является и именем программы.
(прим перев: В отличие от Паскале здесь нет выделенного блока begin - end, программой может считатся любая процедура библиотечного уровня (т.е. не вложеная в другую процедуру/функцию) без параметров).

Место где написано Переменная : Некоторый_Тип_Значений является объявлением переменной. Возможно вы спросите, а что значит "Некоторый_Тип_Значений"? Это означает какого типа значения могут хранится в переменной. Другими словами, если вы хотите иметь переменную для целых чисел вам необходимо написать Variable : Integer;. Если вам нужны числа с пляавающей запятой, то Variable : Float; и т.д.

Точки с запятой используются для завершения объявления переменной или в более общем случае любого предложения программы, позволяя вам разместить на одной строке более одного объявления переменной или предложения.
(прим перев: в Паскале они разделяют предложения, в результате имеется несколько исключений из правил! А в результате выбранного подхода в Аде их размещение производится на более интуитивном уровне).

Инструкция begin начинает последовательность настоящих команд программы.

Предложение_1; и Предложение_1; на самом деле ни чего не значат в Аде; в реальной программе на их месте будут настоящие команды, которые и будут выполнять необходимые нам действия.

Предлоджение end Имя_Процедуры; завершает последовательность команд программы. Теперь Я могу сказать вам, что эта маленькая "демо" програмка была нужна, чтобы просто показать вам структуру программы, но теперь мы можем посмотреть и на настоящую рабочую программу. По традиции ей будет, можно сказать, классическая ;-) программа выводящая "Hello World", которая обычно и используется при первом знакомстве с новым языком.

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello_World is

-- А переменные нам здесь не нужны :)

begin

Put ("Hello world!");

end Hello_World;

Пакет "Text_IO" содержит множество функций для операций ввода/вывода;
он используется программами которым необходим вывод и получение текста.
(прим перев: как и в Си по множеству причин здесь нет "встроенных" операций для ввода/вывода, но есть стандартный пакет таких операций).
Так же Я должен заметить за чем нужно писать "Ada." перед "Text_IO". Поскольку Ада может взаимодествовать со множеством языков -- например вы можете связать со своей программой процедуры на Си или Коболе -- и может случится так что у вас будет множество библиотек с сотнями пакетов, поэтому необходимо указывать откуда их брать.
(прим перев: в Аде можно организовать набор пакетов в определенную иерархическую структуру со взаимными связями между кодом в них. В данном случает Text_IO это дочерний пакет от пакета Ada).