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