Ada (Русский)

Related articles
Programming languages (Русский)
Состояние перевода:
На этой странице представлен перевод статьи
Ada
. Дата последней синхронизации: 9 марта 2026. Вы можете
помочь
синхронизировать перевод, если в английской версии произошли
изменения
.
Ada
— это универсальный скомпилированный язык программирования. В ней используются сильные статические типизации, пакеты, исключения, обобщённые варианты, задачи, объектно-ориентированность и контракты.
Установка
Установите
пакет
gcc-ada
. Это установит компилятор GNAT, который является Ada фронтендом для
GNU Compiler Collection
(GCC).
Дополнительные пакеты:
all-ada
AUR
- Мета-пакет, устанавливающий все инструменты и компоненты Ada.
adacurses
AUR
- Связка Ada с библиотекой C 'ncurses'.
adaogg
AUR
- Полный интерфейсный слой, подключающий библиотеки Ogg, Vorbis и Theora к языку программирования Ada 2012.
ada_language_server
AUR
- Высокопроизводительный синтаксический и семантический движок для языка программирования Ada.
ada-libfswatch
AUR
- Связка Ada с библиотекой libfswatch из проекта fswatch.
adasat
AUR
- Реализация SAT-решателя на основе DPLL на языке Ada.
adasockets
AUR
- Сокеты BSD в Ada.
ada_spawn
AUR
- Простой API на Ada для запуска процессов и взаимодействия с ними.
ada-web-server
AUR
- Ada Web Server
ahven
AUR
- Простой фреймворк для модульного тестирования языка программирования Ada.
alire
AUR
- Каталог готовых к использованию библиотек Ada и консольный менеджер пакетов (alr) для их использования.
aunit
AUR
- Фреймворк для модульного тестирования Ada
florist
AUR
- Открытая реализация стандарта IEEE 1003.5b-1996, связки POSIX для Ada.
gcc-ada-debug
AUR
- Фронтенд Ada для GCC (GNAT) с невырезанной средой выполнения для эффективной отладки в gdb.
GNATColl - Коллекция компонентов GNAT
gnatcoll-core
AUR
или
gnatcoll-core-git
AUR
gnatcoll-db2ada
AUR
gnatcoll-gmp
AUR
или
gnatcoll-gmp-git
AUR
gnatcoll-iconv
AUR
или
gnatcoll-iconv-git
AUR
gnatcoll-gnatinspect
AUR
gnatcoll-lzma
AUR
gnatcoll-omp
AUR
gnatcoll-postgres
AUR
gnatcoll-python
AUR
gnatcoll-readline
AUR
gnatcoll-sql
AUR
gnatcoll-sqlite
AUR
gnatcoll-syslog
AUR
gnatcoll-xref
AUR
gnatcoll-zlib
AUR
gnatcoverage-bin
AUR
- Инструмент для анализа и отчета о покрытии кода программ на Ada и C.
gnatdoc
AUR
- Инструмент генерации документации GNAT.
gnatstudio
AUR
- GnatStudio для Ada.
gnatstudio-bin
AUR
- Двоичный файл GnatStudio для Ada.
gnatsymbolize
AUR
- Преобразует адреса в соответствующие имя файла, номер строки и имена функций для программ на Ada.
gprbuild
AUR
или
gprbuild-git
AUR
- Система сборки GPRbuild.
gprbuild-toolbox
AUR
- Набор инструментов для метасборки мультиязычных систем.
gpr
AUR
- Парсер файлов проектов GPR (Ada).
gpr-unit-provider
AUR
- Поставщик модулей для Libadalang на основе библиотеки анализа проектов GPR.
gtkada
AUR
- Связки Ada для библиотеки Gtk+.
ini_file_manager
AUR
- Пакет для чтения и управления конфигурационными файлами INI на Ada.
inotify-ada
AUR
- Библиотека Ada 2012 для отслеживания событий файловой системы с использованием API Linux inotify.
kazakov_simple_components
AUR
- Набор низкоуровневых компонентов Ada от Дмитрия Казакова.
langkit
AUR
- Компилятор для библиотек синтаксического и семантического анализа языков.
libadalang
AUR
- Высокопроизводительный семантический движок для языка программирования Ada.
libadalang-tools
AUR
- Инструменты на основе Libadalang для Ada: gnatpp, gnatmetric и gnatstub.
libgpr
AUR
- Библиотека Ada для работы с файлами проектов Gnat.
libvss
AUR
- Библиотека для обработки строк и текста высокого уровня для Ada.
markdown
AUR
- Парсер Markdown для Ada.
polyorb
AUR
- Предоставляет приложение «Распределенные системы» (DSA) для создания распределенных приложений на Ada.
sdlada
AUR
- Связка Ada с библиотекой Simple DirectMedia Layer (SDL).
spark2014
AUR
- Формально определенный язык программирования на основе Ada (версия GNAT FSF).
templates_parser
AUR
- Инструменты Ada для создания шаблонизированных текстовых потоков, например динамических HTML-документов.
vulkada
AUR
- Полная связка Vulkan 1.3 для языка программирования Ada 2012.
xmlada
AUR
или
xmlada-git
AUR
- 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 Мануал по инструментам-помощникам
Документация
XML/Ada: The Unicode and XML Library for Ada
AWS: The Ada Web Server
AUnit Cookbook
GNAT Reusable Components
GtkAda User’s Guide