Вадим Станкевич - Леди Ада

удобство их тестирования. А вообще-то, лучше об этом скажет выдержка из статьи об опыте разработке проекта на Аде, опубликованной в журнале «Мир ПК» в августе 1997 года: «В качестве языка реализации компилятора ведущий программист выбрал Аду. <…> Не перечисляя всех причин, побудивших нас отказаться от использования Си, укажем главную: из-за своей „бедности“ Си вынуждает программиста придумывать различные трюки, что снижает надежность программ и повышает затраты на тестирование».

Конечно, большое количество синтаксических конструкций в языке вызывает головную боль, но только у тех, кто разрабатывает компиляторы языка. Для программиста же на этапе написания программы нет особой разницы, на каком уровне реализованы эти возможности — в самом языке или в стандартной runtime-библиотеке.

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

Ещё один интересный, чисто языковой момент — реализация раздельной компиляции в Аде. Основана она на идеологии так называемых «пакетов», которые похожи на unit'ы из Паскаля. Только здесь пакет разделяется на два файла: в одном описывается спецификация реализованных в пакете объектов и функций (они, кстати, в Аде называются процедурами, независимо от того, возвращают ли они какое-либо значение или же нет), а во втором находится непосредственно реализация. Вот так изящно авторы языка решили извечную проблему Паскале-подобных языков, в которых размер текста модулей часто становился головной болью для программистов.

В отличие от классического Паскаля (и от того, который придумал Никлаус Вирт, и от того, который создала компания Борланд), Ада обладает некоторым подобием препроцессора. Это встроенная в язык возможность переименовывать определённые в программе определения (то есть, любые определения, не являющиеся встроенными в язык ключевыми словами). Для этого используется ключевое слово renames. Например, переименование переменной объектного типа (а в терминологии Ады объекты называются компонентами) выглядит следующим образом:

Record_Count: renames Ada.Text_IO.Count;

При переименовании в программе можно использовать как оригинальное имя переменной, так и новое, данное ей при переименовании.

Интересно, что Ада, несмотря на свою высокоуровневость, позволяет заниматься и низкоуровневым программированием, в том числе и разработкой операционных систем. Существует UNIX-подобная ОС, написанная на Аде.

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

Где же востребована Ада со всеми своими уникальными возможностями? Где используется этот великолепный язык, о котором, впрочем, мало кто даже подозревает? Основное «место работы» этого языка программирования — различные встраиваемые системы. Например, уже упомянутая система для автоматического управления поездами Парижского метро. Ещё Ада очень активно используется во всяких военных разработках (собственно, именно для этого она и создавалась). Впрочем, никто не мешает писать на Аде программы для ПК. Необходимые для этого инструменты имеются.

Одна из особенностей Ады — то, что этот язык динамично развивается, впитывая в себя передовые идеи и обеспечивая поддержку современных технологий программирования. Последняя на сегодняшний день версия стандарта этого языка программирования принята в 2005 году. Кстати, стандартизация в Аде довольно строгая — все существующие компиляторы языка должны поддерживать одну из трёх версий: Ада 2005, Ада 95 или Ада 83. Сейчас самой распространённой версией спецификации Ады является --">