Ada (Русский) - ArchWiki

Jump to content

# Ada (Русский)

From ArchWiki

Related articles

- Programming languages (Русский)

Состояние перевода: На этой странице представлен перевод статьи 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[ссылка недействительна: package not found] - Библиотека для обработки строк и текста высокого уровня для 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 Мануал по инструментам-помощникам

### Документация

- XML/Ada: The Unicode and XML Library for Ada
- AWS: The Ada Web Server
- AUnit Cookbook
- GNAT Reusable Components
- GtkAda User’s Guide

Category:

- Programming languages (Русский)

Hidden category:

- Pages with broken package links

Ada (Русский)
Add topic