Раздел 1: Общие сведения

Ada — это язык программирования, разработанный для поддержки создания долгоживущих, высоконадёжных программных систем. Язык включает средства для определения пакетов связанных типов, объектов и операций. Пакеты могут быть параметризованы, а типы могут быть расширены для поддержки создания библиотек повторно используемых, адаптивных программных компонентов. Операции могут быть реализованы как подпрограммы с использованием обычных последовательных структур управления или как записи, которые включают синхронизацию конкурирующих потоков управления в рамках их вызова. Язык обрабатывает модульность и в физическом смысле, с возможностью поддержки отдельной компиляции.

Язык включает полные средства для поддержки реального времени и конкуретного программирования. Ошибки могут быть сигнализированы как исключения и обработаны явно. Язык также охватывает системное программирование; это требует точного контроля над представлением данных и доступом к зависящим от системы свойствам. Наконец, предоставляется предопределённая среда стандартных пакетов, включающая средства для, среди прочего, ввода-вывода, обработки строк, числовых элементарных функций и генерации случайных чисел.