Editing Ada (programming language) (section)

{{short description|High-level programming language first released in 1980}}
{{infobox programming language
| name = Ada
| logo = Ada horizon green logo with slogan.svg
| logo_size = 200px
| logo alt = Green logo on horizon with Ada letters and slogan
| paradigm = [[Multi-paradigm programming language|Multi-paradigm]]: [[Structured programming|structured]], [[Imperative programming|imperative]], [[Object-oriented programming|object-oriented]], [[Aspect-oriented programming|aspect-oriented]],<ref>{{cite web|url=http://www.adacore.com/uploads/technical-papers/Ada2012_Rational_Introducion.pdf|title=Ada2012 Rationale|website=adacore.com|access-date=5 May 2018|url-status=live|archive-url=https://web.archive.org/web/20160418132340/http://www.adacore.com/uploads/technical-papers/Ada2012_Rational_Introducion.pdf|archive-date=18 April 2016}}</ref> [[Concurrent programming|concurrent]], [[Array programming|array]], [[Distributed computing|distributed]], [[Generic programming|generic]], [[Procedural programming|procedural]], [[Metaprogramming|meta]]
| family = [[Pascal (programming language)|Pascal]]
| designers = * MIL-STD-1815, Ada 83: [[Jean Ichbiah]]
* Ada 95: Tucker Taft
* Ada 2005: Tucker Taft
* Ada 2012: Tucker Taft
| developer = 
| typing = [[Static typing|static]], [[Strong and weak typing|strong]], [[Type safety|safe]], [[Nominal type system|nominal]]
| implementations = AdaCore [[GNAT]],<ref>{{Cite web|url=https://www.adacore.com/download|title=Commercial software solutions for Ada, C and C++|website=AdaCore|access-date=Apr 4, 2023}}</ref><br/>[[Green Hills Software]] Optimising Ada 95 compiler,<br/>[[PTC (software company)|PTC]] ApexAda and ObjectAda,<ref>{{cite news|url=http://www.ptc.com/developer-tools/objectada |title=PTC ObjectAda |publisher=PTC.com |access-date=2014-01-27}}</ref><br/>MapuSoft Ada-C/C++ changer,<ref>{{cite web|url=https://www.mapusoft.com/ada-to-c-changer/|title=MapuSoft Ada-C/C++ changer|date=16 April 2019}}</ref> formerly known as "AdaMagic with C Intermediate",<ref>{{Cite web|url=http://ada-auth.org/cpl/details/151.html|title=Ada 95 Certified Processors List – Details|website=ada-auth.org|access-date=Apr 4, 2023}}</ref><br/>[[DDC-I]] Score
| dialects = [[SPARK (programming language)|SPARK]], [[Ravenscar profile]]
| influenced = [[C++]], [[Chapel (programming language)|Chapel]],<ref>{{cite web|title=Chapel spec (Acknowledgements)|url=http://chapel.cray.com/spec/spec-0.98.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://chapel.cray.com/spec/spec-0.98.pdf |archive-date=2022-10-09 |url-status=live|date=2015-10-01|access-date=2016-01-14|publisher=Cray Inc}}</ref> [[Drago (programming language)|Drago]],<ref>{{cite web|url=http://www.iuma.ulpgc.es/users/gsd/Drago/|title=Drago|access-date=2018-08-06|archive-date=2020-09-14|archive-url=https://web.archive.org/web/20200914212150/http://www.iuma.ulpgc.es/users/gsd/Drago/}}</ref> [[D (programming language)|D]], [[Eiffel (programming language)|Eiffel]], Griffin,<ref>{{Cite web|url=https://cs.nyu.edu/~goldberg/griffin.html|title=The Griffin Project|website=cs.nyu.edu|access-date=Apr 4, 2023}}</ref> [[Java (programming language)|Java]], [[Nim (programming language)|Nim]], [[ParaSail (programming language)|ParaSail]], [[PL/SQL]], [[PL/pgSQL]], [[Python (programming language)|Python]], [[Ruby (programming language)|Ruby]], [[Seed7]], SPARforte,<ref>{{Cite web|url=https://www.sparforte.com/|title=SparForte Programming Language|website=www.sparforte.com|access-date=Apr 4, 2023}}</ref> [[ParaSail (programming language)#Description|Sparkel]], [[SQL/PSM]], [[VHDL]]
| license = 
| released = {{Start date and age|1980|02}}
| latest release version = Ada 2022
| latest release date = May 2023
| latest preview version = 
| latest preview date = 
| influenced by = [[ALGOL 68]], [[Pascal (programming language)|Pascal]], [[Simula]] 67,<ref>Ada Rationale, 1986, pp. 23, 70, 110–114, 137, 165, 236</ref> [[C++]] (Ada 95), [[Smalltalk]] (Ada 95), [[Modula-2]] (Ada 95) [[Java (programming language)|Java]] (Ada 2005), [[Eiffel (programming language)|Eiffel]] (Ada 2012)
| operating system = Multi- or [[cross-platform]]
| file ext = .adb, .ads
| website = {{URL|https://www.adaic.org/|adaic.org}}
| wikibooks = Ada Programming
}}

'''Ada''' is a [[structured programming|structured]], [[statically typed]], [[Imperative programming|imperative]], and [[Object-oriented programming|object-oriented]] [[high-level programming language]], inspired by [[Pascal (programming language)|Pascal]] and other languages. It has built-in language support for ''[[design by contract]]'' (DbC), extremely [[Strong and weak typing|strong typing]], explicit concurrency, tasks, synchronous [[message passing]], protected [[Object (computer science)|objects]], and [[nondeterministic programming|non-determinism]]. Ada improves code safety and maintainability by using the [[compiler]] to find errors in favor of [[Runtime (program lifecycle phase)|runtime]] errors. Ada is an [[International standard|international]] [[technical standard]], jointly defined by the [[International Organization for Standardization]] (ISO), and the [[International Electrotechnical Commission]] (IEC). {{As of|May 2023}}, the standard, ISO/IEC 8652:2023, is called Ada 2022 informally.<ref name="ada-letters-june2023">{{cite journal |last1=Pinho |first1=Luis Miguel |title=From the Editor's Desk |journal=Ada Letters |volume=XLIII |number=1 |publisher=Association for Computing Machinery |date=June 2023 |page=3 |doi=10.1145/3631483 |doi-broken-date=1 November 2024 |url=https://dl.acm.org/action/showFmPdf?doi=10.1145%2F3631483}}</ref>

Ada was originally designed by a team led by French [[computer scientist]] [[Jean Ichbiah]] of [[Groupe Bull|Honeywell]] under contract to the [[United States Department of Defense]] (DoD) from 1977 to 1983 to supersede over 450 programming languages then used by the DoD.<ref>{{cite web|title=The Ada Programming Language|url=http://groups.engin.umd.umich.edu/CIS/course.des/cis400/ada/ada.html|website=University of Mich|access-date=27 May 2016|archive-url=https://web.archive.org/web/20160522063844/http://groups.engin.umd.umich.edu/CIS/course.des/cis400/ada/ada.html|archive-date=2016-05-22}}</ref> Ada was named after [[Ada Lovelace]] (1815–1852), who has been credited as the first computer programmer.<ref>{{cite journal|doi=10.1109/MAHC.2003.1253887|title=Lovelace & Babbage and the creation of the 1843 'notes'|journal=IEEE Annals of the History of Computing|volume=25|issue=4|pages=16–26|year=2003|last1=Fuegi|first1=J|last2=Francis|first2=J|s2cid=40077111}}</ref>