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

Created Year: 1980
Designed by: Jean Ichbiah • S. Tucker Taft
Developed by: Jean Ichbiah • S. Tucker Taft
Named after: Ada Lovelace
Aliases: MIL-STD-1815, ISO/IEC 8652

Wikidata: Q154755

Influenced: Austral • C++ • Chapel • Concurrent C • Eiffel • Erlang • Java • Nim • ParaSail • PL/pgSQL • PL/SQL • Raku • Ruby • Seed7 • XL

Influenced by: Ada 95 • C++ • Eiffel • Green • Java • Modula-2 • Pascal • Smalltalk

Programming paradigms: imperative programming • multi-paradigm programming • object-oriented programming • structured programming

Language types: imperative programming language • multi-paradigm programming language • object-based language • wide-spectrum language

with Ada.Text_IO;

procedure Hello_World is
   use Ada.Text_IO;
begin
   Put_line ("Hello World");
end Hello_World;