Добро пожаловать в Ada

Для начала немного wiki.
Что мне понадобилось для работы:
 - минимальный комплект MinGW,
 - дополнительный пакет для ada,
 - обычный текстовый редактор (я использую Aditor Pro).

По традиции начинаю с "Hello World!". Я создал основной файл программы и отдельно библиотечный модуль с собственно самой процедурой вывода приветствия.

Файлы программы.
Все файлы программы расположены в директории hello.
Основной файл программы use_hello.adb (от ADa Body по соглашению GNAT)

    -- use_hello.adb
    with Hello;
    procedure Use_Hello is
        procedure Hello is separate;
    begin
        Hello;
    end Use_Hello;

Файл процедуры hello.adb

    -- hello.adb
    with Ada.Text_IO; use Ada.Text_IO;
    separate(Use_Hello) -- обратите внимание, ';' отсутствует
    procedure Hello is
    begin
        Put_Line("Hello World!");
    end Hello;

Файл спецификации hello.ads (от ADa Specification)

    -- hello.ads
    procedure Hello;

Компиляция.
>cd hello && gnatmake use_hello.adb

Сообщения компилятора:
    gcc -c use_hello.adb
    gcc -c hello.adb
    gnatbind -x use_hello.ali
    gnatlink use_hello.ali

Содержимое каталога после компиляции.
    use_hello.adb
    hello.adb
    hello.ads
    use_hello.ali
    use_hello.o
    hello.ali
    hello.o
    use_hello.exe

Запуск программы.
>use_hello.exe
Hello World!

Документация.
http://www.adaic.com
http://www.ada-ru.org
http://www.adacore.com