Язык программирования Ada Ада

Ада является структурированным, компилируемым, статически типизированным языком программирования, разработанный 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 компилятора.