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

З пляцоўкі Вікіпедыя
(Пасля перасылкі з 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,[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]

Зноскі

  1. Aonix ObjectAda. Atego.com. Праверана 27 студзеня 2014.
  2. Chapel spec (Acknowledgements). Cray Inc (2015-10-01). Праверана 14 студзеня 2016.
  3. Ganssle, Jack Ada Resource Association – News and resource for the Ada programming language. Adaic.org (2013-05-29). Праверана 14 чэрвеня 2013.
  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

Крыніцы[правіць | правіць зыходнік]

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