ada учебник
Начало работы с ada

замечания

Версии

Установка или настройка

Ada - язык программирования, для которого существует несколько компиляторов.

• Один из этих компиляторов, и, возможно, самый используемый, - GNAT. Это часть инструментальной привязки GCC. Он может быть установлен из нескольких источников:

  • Годовой выпуск GPL, выполненный AdaCore, доступен бесплатно на сайте libre . Эта версия прошла все внутренние тесты, которые AdaCore делает для своих pro-выпусков, доступна на большом количестве платформ. Компилятор и его среда исполнения выпущены под лицензией GPL, и, если вы не используете среду исполнения, любые исполняемые файлы, которые вы распространяете, также будут покрыты за счет этой лицензии. Для ученых и проектов на начальных этапах это не проблема.

  • FSFC gcc регулярно получает одинаковые исправления. Версия GNAT может быть не всегда актуальной, но регулярно набирается.

  • Ряд участников - это упаковка версии FSF для различных дистрибутивов Linux (в частности, систем на базе Debian) и двоичных файлов для Mac OS X. Использование диспетчера пакетов из вашего дистрибутива может быть самым простым способом установки GNAT. Такие версии поставляются со стандартной лицензией GCC и позволяют вам писать закрытый исходный код.

  • AdaCore также предоставляет GNAT Pro , который поставляется со стандартной лицензией GCC, которая позволяет вам писать закрытый исходный код. Что еще более важно, возможно, оно сопровождается поддержкой, если у вас есть вопросы по использованию языка, инструментов, как лучше всего реализовать что-либо, и, конечно же, отчеты об ошибках и запросы на повышение.

Другое число компиляторов указано в Ada WikiBook вместе с инструкциями по установке. В Getadanow.com представлены выпуски FSF GNAT, готовые для различных операционных систем на нескольких типах аппаратных средств или виртуальных машинах. Сайт также собирает ресурсы для обучения и обмена Ada.

Привет, мир

with Ada.Text_IO;

procedure Hello_World is
begin
   Ada.Text_IO.Put_Line ("Hello World");
end Hello_World;

Кроме того, после импорта пакета Ada.Text_IO вы можете use Ada.Text_IO; чтобы иметь возможность использовать Put_Line без явного объявления того, из какого пакета он должен исходить:

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello_World is
begin
    Put_Line ("Hello World");
end Hello_World;

Если вы используете компилятор gnat , эту простую программу можно скомпилировать с помощью

gnatmake hello_world

Это приведет к созданию нескольких файлов, включая hello_world (или hello_world.exe в Windows), которые вы можете выполнить, чтобы увидеть знаменитое сообщение. Имя исполняемого файла автоматически вычисляется из имени основной подпрограммы Ada. В Аде основная подпрограмма может иметь любое имя. Это должна быть процедура без параметров, которую вы даете в качестве аргумента для gnatmake .

Другие компиляторы имеют схожие требования, хотя, конечно, команда сборки отличается.

Версия

Стандартный язык программирования Ada определен в Справочном руководстве Ada . Промежуточные версии изменений и примечания к выпуску обсуждаются в соответствующих обоснованных документах. Реализации обычно документируют их соответствие стандарту в виде руководства пользователя и / или справочного руководства, например .

• Ada 2012

  • Справочное руководство по языку Ada 2012
  • Обоснование для Ada 2012

• Ada 2005

  • Справочное руководство по языку Ada 2005
  • Обоснование для Ada 2005

• Ada 95

  • Справочник по языку Ada 95 Manua l
  • Обоснование для Ada 95

• Ada 83

  • Ada 83 Справочник по языку Manua l
  • Ada 83 Обоснование дизайна языка программирования Ada®

Библиотеки

Что касается любого языка программирования, Ada предлагает обширные библиотеки для выполнения различных задач. Вот некоторые рекомендации для некоторых из них, хотя поиск в github приведет к еще большему.

• Сама среда выполнения Ada, распространяемая всеми компиляторами, включает в себя обширный набор пакетов и приложений, начиная от структур данных и контейнеров, до ввода / вывода, манипуляции с строкой, манипулирования временем, файлов, числовых вычислений, многозадачных операций, переключателей командной строки, случайные числа, ...

• Компилятор GNAT поставляется со своим расширенным временем выполнения, с новыми пакетами в иерархии GNAT , которые обеспечивают поддержку регулярных выражений, сортировки, поиска, юникода, CRC, ввода / вывода времени, ...

• gnatcoll - это библиотека, доступная на сайте Libre AdaCore и включающая обширную структуру ведения журнала, расширение приложений с помощью python, mmap, обширную инфраструктуру для взаимодействия с файловыми системами, анализ сообщений электронной почты и почтовых ящиков, обширную структуру для взаимодействия с базами данных в тип-безопасный способ, интерфейс к различным библиотекам, таким как значок, readline, цвета терминалов, поддержка ссылочных типов подсчета для автоматического управления памятью, файлы JSON, ...

• XML / Ada - это библиотека для анализа и проверки XML-документов

• GtkAda - это полная привязка к библиотеке gtk +, которая позволяет писать портативные пользовательские интерфейсы в Unix, Windows и OSX.

• AWS является основой для создания веб-серверов в Ada с полной поддержкой различных протоколов, таких как HTTP, Websockets, ... и собственной системы шаблонов.