Ada (Русский)
Состояние перевода: На этой странице представлен перевод статьи Ada. Дата последней синхронизации: 9 марта 2026. Вы можете помочь синхронизировать перевод, если в английской версии произошли изменения.
Ada — это универсальный скомпилированный язык программирования. В ней используются сильные статические типизации, пакеты, исключения, обобщённые варианты, задачи, объектно-ориентированность и контракты.
Установка
Установите пакет gcc-ada. Это установит компилятор GNAT, который является Ada фронтендом для GNU Compiler Collection (GCC).
Дополнительные пакеты:
- all-adaAUR - Мета-пакет, устанавливающий все инструменты и компоненты Ada.
- adacursesAUR - Связка Ada с библиотекой C 'ncurses'.
- adaoggAUR - Полный интерфейсный слой, подключающий библиотеки Ogg, Vorbis и Theora к языку программирования Ada 2012.
- ada_language_serverAUR - Высокопроизводительный синтаксический и семантический движок для языка программирования Ada.
- ada-libfswatchAUR - Связка Ada с библиотекой libfswatch из проекта fswatch.
- adasatAUR - Реализация SAT-решателя на основе DPLL на языке Ada.
- adasocketsAUR - Сокеты BSD в Ada.
- ada_spawnAUR - Простой API на Ada для запуска процессов и взаимодействия с ними.
- ada-web-serverAUR - Ada Web Server
- ahvenAUR - Простой фреймворк для модульного тестирования языка программирования Ada.
- alireAUR - Каталог готовых к использованию библиотек Ada и консольный менеджер пакетов (alr) для их использования.
- aunitAUR - Фреймворк для модульного тестирования Ada
- floristAUR - Открытая реализация стандарта IEEE 1003.5b-1996, связки POSIX для Ada.
- gcc-ada-debugAUR - Фронтенд Ada для GCC (GNAT) с невырезанной средой выполнения для эффективной отладки в gdb.
- GNATColl - Коллекция компонентов GNAT
- gnatcoll-coreAUR или gnatcoll-core-gitAUR
- gnatcoll-db2adaAUR
- gnatcoll-gmpAUR или gnatcoll-gmp-gitAUR
- gnatcoll-iconvAUR или gnatcoll-iconv-gitAUR
- gnatcoll-gnatinspectAUR
- gnatcoll-lzmaAUR
- gnatcoll-ompAUR
- gnatcoll-postgresAUR
- gnatcoll-pythonAUR
- gnatcoll-readlineAUR
- gnatcoll-sqlAUR
- gnatcoll-sqliteAUR
- gnatcoll-syslogAUR
- gnatcoll-xrefAUR
- gnatcoll-zlibAUR
- gnatcoverage-binAUR - Инструмент для анализа и отчета о покрытии кода программ на Ada и C.
- gnatdocAUR - Инструмент генерации документации GNAT.
- gnatstudioAUR - GnatStudio для Ada.
- gnatstudio-binAUR - Двоичный файл GnatStudio для Ada.
- gnatsymbolizeAUR - Преобразует адреса в соответствующие имя файла, номер строки и имена функций для программ на Ada.
- gprbuildAUR или gprbuild-gitAUR - Система сборки GPRbuild.
- gprbuild-toolboxAUR - Набор инструментов для метасборки мультиязычных систем.
- gprAUR - Парсер файлов проектов GPR (Ada).
- gpr-unit-providerAUR - Поставщик модулей для Libadalang на основе библиотеки анализа проектов GPR.
- gtkadaAUR - Связки Ada для библиотеки Gtk+.
- ini_file_managerAUR - Пакет для чтения и управления конфигурационными файлами INI на Ada.
- inotify-adaAUR - Библиотека Ada 2012 для отслеживания событий файловой системы с использованием API Linux inotify.
- kazakov_simple_componentsAUR - Набор низкоуровневых компонентов Ada от Дмитрия Казакова.
- langkitAUR - Компилятор для библиотек синтаксического и семантического анализа языков.
- libadalangAUR - Высокопроизводительный семантический движок для языка программирования Ada.
- libadalang-toolsAUR - Инструменты на основе Libadalang для Ada: gnatpp, gnatmetric и gnatstub.
- libgprAUR - Библиотека Ada для работы с файлами проектов Gnat.
- libvssAUR - Библиотека для обработки строк и текста высокого уровня для Ada.
- markdownAUR - Парсер Markdown для Ada.
- polyorbAUR - Предоставляет приложение «Распределенные системы» (DSA) для создания распределенных приложений на Ada.
- sdladaAUR - Связка Ada с библиотекой Simple DirectMedia Layer (SDL).
- spark2014AUR - Формально определенный язык программирования на основе Ada (версия GNAT FSF).
- templates_parserAUR - Инструменты Ada для создания шаблонизированных текстовых потоков, например динамических HTML-документов.
- vulkadaAUR - Полная связка Vulkan 1.3 для языка программирования Ada 2012.
- xmladaAUR или xmlada-gitAUR - XML/Ada
Подписанные, предвительно собранные пакеты доступны в неоффициальном Ada репозитории.
Проверка установки
Проверьте что GNAT установлен корректно собрав простую программу, как например:
hello.adb
with Ada.Text_IO;
procedure Hello is
begin
Ada.Text_IO.Put_Line ("Hello, Arch!");
end Hello;
Вы можете скомпилировать её с gnatmake:
$ gnatmake hello
gcc -c hello.adb gnatbind -x hello.ali gnatlink hello.ali
Затем выполните:
$ ./hello
Hello, Arch!
Смотрите также
Язык
- Rationale для Ada 2012
- Ada 2012 Образцовый мануал языка
- Wikibooks:Ada Programming
- Интерактивная обучающая платформа Learn.adacore.com
- Wikipedia:SPARK (programming language)
Инструменты
- Пользовательский мануал GNAT для Нативных Платформ
- GNAT Образцовый мануал
- GPRbuild и GPR Мануал по инструментам-помощникам