Ada 2012

15 декабря 2012 года был опубликован новый стандарт языка Ада.

Большинство изменений так или иначе связано со стремлением непосредственно в языке обеспечить поддержку методу «Контрактного программирования». Добавлены пред- и пост-условия к подпрограммам, инварианты приватных типов и предикаты для подтипов. Для эффективного использования этих конструкций были добавлены новые типы выражений и расширены существующие. Получила дальнейшее развитие стандартная библиотека. Были введены контейнеры ограниченного размера, появились удобные механизмы итерации по контейнеру и доступу к содержащимся в них элементам. Другие изменения коснулись использования неполных описаний типов, режимов параметров функций, указания пула памяти при создании объекта и прочее.