Ada | |
---|---|
Клас мовы | шматпарадыгмавая |
З’явілася ў | 1980 |
Аўтар(ы) |
|
Рэліз | Ada 2012 (10 снежня 2012) |
Тыпізацыя даных | статычная, строгая, бяспечная, намінатыўная |
Асноўныя рэалізацыі |
AdaCore GNAT, Green Hills Software Optimising Ada 95 compiler, Aonix ObjectAda,[1] DDC-I Score |
Дыялекты | SPARK, Ravenscar profile |
Зведала ўплыў | ALGOL 68, Pascal, C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005), Eiffel (Ada 2012) |
Паўплывала на | C++, Chapel,[2] Eiffel, Java, Nim, PL/SQL, PL/pgSQL, Ruby, Rust, Seed7, SQL/PSM, VHDL |
Сайт | adaic.org |
Ада — структурная, статычна тыпізаваная, імператыўная камп'ютарная мова праграмавання высокага ўзроўню. Мае ўбудаваную падтрымку кантрактнага праектавання, надзвычай строгую тыпізацыю, сродкі яўнага паралелізму, такія як задачы, сінхронны абмен паведамленнямі, абароненыя аб'екты і недэтэрмінізм. Ада мае на мэце павышэнне бяспекі коду і суправаджальнасці праз пошук памылак пры дапамозе кампілятара. Ада — міжнародны стандарт, бягучая версія (вядомая як Ada 2012[3]) вызначана як ISO/IEC 8652:2012.[4]
Ада першапачаткова распрацавана ў CII Honeywell Bull па кантракце з міністэрствам абароны (Department of Defense) ЗША цягам 1977—1983 гг., каб замяніць сотні моў праграмавання, якія тады выкарыстоўваліся ў МА. Мова названа ў гонар Ады Лаўлейс, якая лічыцца першым у гісторыі праграмістам.[5]