Ада является структурированным, компилируемым, статически типизированным языком программирования, разработанный Jean Ichbiah из компании Cii Honeywell Bull в 1970-х году. Он позиционируется для решения таких же задач, как C или C++. Ада была названа в честь леди Ада Лавлейс, первый программист — женщина.
Возможности языка.
Язык программирования Ада была первоначально ориентирован на встроенные системы и системы реального времени, и до сих пор широко используется для этих целей. В Ada 95 года (по проекту Tucker Taft из Intermetrics вносил изменеия с 1992 по 1995) была улучшена поддержка системного, численного и финансового программирования.
Особенности языка программирования Ada заключаются в:
- строгом контроле типов во время проверки;
- параллельной обработке данных;
- обработке возникающих исключений;
- и других.
В Ада 95 добавлена поддержка объектно-ориентированного программирования, в том числе динамической диспетчеризации как основы программирования.
Известные реализации языка Ада обычно не используют сборку мусора для управления хранимыми данными. Ада поддерживает ограниченную область хранения данных — это позволяет в большинстве случает выявить ошибки обращения к областям памяти, которые не были выделены для работы еще на стадии компиляции программы.
Язык программирования Ада поддерживает проверку правильности обращения к памяти во время исполнения программы в целях защиты от доступа к незанятой области памяти, ошибок переполнения буфера и позволяет избежать других ошибок. Эти проверки могут быть отключены в интересах повышения эффективности. Они также включают в себя объекты, чтобы помочь программам проверки. По этим причинам данный язык очень широко используется в критически важных системах, таких как: авиация, оружие и космические аппараты.
Определение языка программирования Ada отличается от других языков, зарегестрированных Международной организации по стандартизации в том, что доступно в свободном бесплатном доступе. Одним из следствий этого является то, что стандартный документ (известный как справочное руководство или RM) является обычной ссылкой, к которой обращаются программисты Ада для получения технические данных, хотя, так же как и у многих других языков имеется стандартный учебник.
История.
В 1970-х годах, Министерство обороны США выражает озабоченность по поводу числа различных языков программирования, используемых для своих проектов, некоторые из которых были закрытими для доступа и / или устаревшими. В 1975 году рабочая группа по разработке языка высокого уровня (HOLWG) была создана с целью сокращения числа используемых языков, для того, чтобы найти или создать язык программирования, который бы полностью удовлетворял требованиям военного Министерсва — результатом стал язык программирования Ада. Общее число языков программирования высокого уровня используемых для военных проектов сократилось с более чем 450 в 1983 году до 37 к 1996 году.
Рабочая группа (Strawman, Tinman, and Ironman, к ним позже присоединился Steelman) создала серию документов с требованиями к языку. Многие существующие языки были официально рассмотрены, но группа пришла к выводу, что в 1977 году ни один из существующих языков не удовлетворяет требованиям.
Предложения по созданию нового языка программирования были выпущены и были наняты четыре подрядчика, чтобы вносить свои предложения под названиями Red, Green, Blue и Yellow. В мае 1979 года по проекту было внесено предложение «Green» от Jean Ichbiah из компании Cii Honeywell Bull — оно и было выбрано, и в последствии получило название «Ада». Справочное руководство было одобрено 10 декабря 1980 года (день рождения Ады Лавлейс).
Министерство обороны США потребовало использования Ада (Ada мандата) для любого программного проекта, в котором предполагалось использование нового кода более чем на 30% от конечого результата, хотя зачастую предоставлялись исключения из этого правила. Это требование было эффективно удалено в 1997 году. Аналогичные требования имеются в других странах Североатлантического альянса (НАТО).
Язык обзавелся стандартом ANSI в 1983 (ANSI / MIL-STD 1815), и стандартом ИСО в 1987 (ISO-8652: 1987). Эта версия языка широко известна как Ada 83 (исходя из даты его принятия ANSI).
Ada 95, совместим с ISO / ANSI стандарт (ISO-8652: 1995), это последний стандарт для Ады. Он был принят в феврале 1995 года (выпущен Ada 95 — первый стандарт по ИСО для объектно-ориентированного языка программирования). ВВС США финансировали развитие GNAT компилятора для языка Ада, чтобы помочь ему стать стандартом разработки программного обеспечения для военных целей.
