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, the standard, called Ada 2022 informally, is ISO/IEC 8652:2023.

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. Ada was named after Ada Lovelace (1815–1852), who has been credited as the first computer programmer.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.