Утверждена Ada 2012

ISO опубликовала новый стандарт для Ada, языка, первоначально разработанного для Министерства обороны США. Новая версия Ada 2012 содержит усовершенствования для программирования на основе контрактов.

Согласно Ассоциации ресурсов Ada (ARA), функции, добавленные для этой цели, включают возможность указывать предварительные условия и постусловия для подпрограмм, а также инварианты для частных (инкапсулированных) типов. Они принимают форму логических выражений, которые могут быть интерпретированы как условия времени выполнения, подлежащие проверке. Функции программирования на основе контрактов были разработаны для поддержки руководства по замене типов, которое было разработано в качестве дополнения к новому стандарту безопасности программного обеспечения авионики DO-178C / ED-12C.

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

Техническое резюме Ada 2012, а также объяснение преимуществ языка и набор ссылок на дополнительную информацию доступны по адресу: www.ada2012.org. Информация включает в себя сравнительную диаграмму, которая показывает эволюцию основных функций языка, и это видео, охватывающее новые функции Ada 2012.

Ада, названная в честь Ады Лавлейс, которая широко признана первым программистом. впервые был разработан с 1977 по 1983 год командой CII Honeywell Bull по контракту с Министерством обороны США (МО). В то время Министерство обороны использовало сотни языков программирования, и Ada должна была стать единственной заменой. Эта родословная привела к тому, что многие предсказывали, что Ada станет доминирующим языком программирования в целом, но он в значительной степени остался в государственных секторах, таких как авионика и космические полеты. Тем не менее, за последние пару лет он вошел в топ-20 языков по индексу Tiobe.