Ада (мова праграмавання)

Ada
Ada
Клас мовы	шматпарадыгмавая
З’явілася ў	1980
Аўтар(ы)	MIL-STD-1815/Ada 83: Jean Ichbiah; Ada 95: Tucker Taft; Ada 2005: Tucker Taft; Ada 2012: Tucker Taft;
Рэліз	Ada 2012 (10 снежня 2012)
Тыпізацыя даных	статычная, строгая, бяспечная, намінатыўная
Асноўныя рэалізацыі	AdaCore GNAT,; Green Hills Software Optimising Ada 95 compiler,; Aonix ObjectAda,; DDC-I Score
Дыялекты	SPARK, Ravenscar profile
Зведала ўплыў	ALGOL 68, Pascal, C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005), Eiffel (Ada 2012)
Паўплывала на	C++, Chapel, 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]

Зноскі

↑ Aonix ObjectAda (нявызн.)(недаступная спасылка). Atego.com. Архівавана з першакрыніцы 6 жніўня 2013. Праверана 27 студзеня 2014.
↑ Chapel spec (Acknowledgements) (нявызн.)(недаступная спасылка). Cray Inc (1 кастрычніка 2015). Архівавана з першакрыніцы 5 лютага 2016. Праверана 14 студзеня 2016.
↑ Ganssle, Jack. Ada Resource Association – News and resource for the Ada programming language (нявызн.). Adaic.org (29 мая 2013). Праверана 14 чэрвеня 2013.
↑ ISO/IEC 8652:2012 Information technology -- Programming languages -- Ada (нявызн.). International Organization for Standardization. Праверана 23 снежня 2012.
↑ J. Fuegi and J. Francis, «Lovelace & Babbage and the creation of the 1843 'notes'.» Annals of the History of Computing 25 #4 (October-December 2003): 16-26. DOI:10.1109/MAHC.2003.1253887

Літаратура

Савіцкі М. Тлумачальны слоўнік па інфарматыцы: / Мікола Савіцкі. — Мн.: Энцыклапедыкс. 2009. — ISBN 978-985-6742-83-8

[1] Aonix ObjectAda (нявызн.)(недаступная спасылка). Atego.com. Архівавана з першакрыніцы 6 жніўня 2013. Праверана 27 студзеня 2014.

[chplspec-2] Chapel spec (Acknowledgements) (нявызн.)(недаступная спасылка). Cray Inc (1 кастрычніка 2015). Архівавана з першакрыніцы 5 лютага 2016. Праверана 14 студзеня 2016.

[3] Ganssle, Jack. Ada Resource Association – News and resource for the Ada programming language (нявызн.). Adaic.org (29 мая 2013). Праверана 14 чэрвеня 2013.

[ISO_IEC_8652_2012-4] ISO/IEC 8652:2012 Information technology -- Programming languages -- Ada (нявызн.). International Organization for Standardization. Праверана 23 снежня 2012.

[5] J. Fuegi and J. Francis, «Lovelace & Babbage and the creation of the 1843 'notes'.» Annals of the History of Computing 25 #4 (October-December 2003): 16-26. DOI:10.1109/MAHC.2003.1253887

[1]

[2]

[3]

[4]

[5]