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

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

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