Ada (programming language)

Ada
Paradigm	Multi-paradigm: structured, imperative, object-oriented, aspect-oriented, concurrent, array, distributed, generic, procedural, meta
Family	Pascal
Designed by	MIL-STD-1815, Ada 83: Jean Ichbiah; Ada 95: Tucker Taft; Ada 2005: Tucker Taft; Ada 2012: Tucker Taft;
First appeared	February 1980
Stable release	Ada 2022 / May 2023
Typing discipline	static, strong, safe, nominal
OS	Multi- or cross-platform
Filename extensions	.adb, .ads
Website	www.adaic.org
Major implementations
	AdaCore GNAT,; Green Hills Software Optimising Ada 95 compiler,; PTC ApexAda and ObjectAda,; MapuSoft Ada-C/C++ changer, formerly known as "AdaMagic with C Intermediate",; DDC-I Score
Dialects
	SPARK, Ravenscar profile
Influenced by
	ALGOL 68, Pascal, Simula 67, C++ (Ada 95), Smalltalk (Ada 95), Modula-2 (Ada 95) Java (Ada 2005), Eiffel (Ada 2012)
Influenced
	C++, Chapel, Drago, D, Eiffel, Griffin, Java, Nim, ParaSail, PL/SQL, PL/pgSQL, Python, Ruby, Seed7, SPARforte, Sparkel, SQL/PSM, VHDL
	Ada Programming at Wikibooks;

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). As of May 2023^[update], the standard, called Ada 2022 informally, is ISO/IEC 8652:2023.^[11]

Ada was originally designed by a team led by French computer scientist Jean Ichbiah of Honeywell under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede over 450 programming languages used by the DoD at that time.^[12] Ada was named after Ada Lovelace (1815–1852), who has been credited as the first computer programmer.^[13]

^ "Ada2012 Rationale" (PDF). adacore.com. Archived (PDF) from the original on 18 April 2016. Retrieved 5 May 2018.
^ "Commercial software solutions for Ada, C and C++". AdaCore. Retrieved Apr 4, 2023.
^ "PTC ObjectAda". PTC.com. Retrieved 2014-01-27.
^ "MapuSoft Ada-C/C++ changer". 16 April 2019.
^ "Ada 95 Certified Processors List – Details". ada-auth.org. Retrieved Apr 4, 2023.
^ Ada Rationale, 1986, pp. 23, 70, 110–114, 137, 165, 236
^ "Chapel spec (Acknowledgements)" (PDF). Cray Inc. 2015-10-01. Archived (PDF) from the original on 2022-10-09. Retrieved 2016-01-14.
^ "Drago". Archived from the original on 2020-09-14. Retrieved 2018-08-06.
^ "The Griffin Project". cs.nyu.edu. Retrieved Apr 4, 2023.
^ "SparForte Programming Language". www.sparforte.com. Retrieved Apr 4, 2023.
^ Pinho, Luis Miguel (June 2023). "From the Editor's Desk". Ada Letters. XLIII (1). Association for Computing Machinery: 3. doi:10.1145/3631483 (inactive 1 November 2024).{{cite journal}}: CS1 maint: DOI inactive as of November 2024 (link)
^ "The Ada Programming Language". University of Mich. Archived from the original on 2016-05-22. Retrieved 27 May 2016.
^ Fuegi, J; Francis, J (2003). "Lovelace & Babbage and the creation of the 1843 'notes'". IEEE Annals of the History of Computing. 25 (4): 16–26. doi:10.1109/MAHC.2003.1253887. S2CID 40077111.