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

Вводные тексты

Введение в язык программирования

Новая книга по Аде охватывает большинство возможностей текущей версии языка.

Перевод Сергея в PDF формате
HTML с оригинальной разметкой (reStructuredText)
Форк оригинального репозитория для улучшения перевода (используйте ветку ru).
Оригинал на английском

Неформальное введение в язык программирования Ada-2020

Леонид предлагает свою книгу

читать на Google Drive

Также, документацию имеет смысл рассматривать во временной шкале с вехами новых версий языка.

Ада 2022 (грядущий стандарт)

Что нового в Аде 202х (обзор ожидаемых нововведений)
Черновик стандарта на английском

Ада 2012

Что нового в языке Ада 2012? (обзор нововведений)
Обоснование Ады 2012 (неоконченный перевод)
Безопасное и надежное программное обеспечение на примере языка Ада 2012, SPARK 2014

Ада 2005

Обзор стандарта Ада 2005
Rationale for Ada 2005 (машинный перевод)

Ада 95

Ада 83

Справочное руководство по языку Ада 83. Русский перевод.
Организация системы ИНТЕЛ 432

Другие материалы

Здесь представлена известная мне документация на русском языке в электронном виде: