Ada (Русский)

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[ссылка недействительна: package not found]} - Библиотека для обработки строк и текста высокого уровня для 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

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

• Pages with broken package links