Ada (programming language)

Ada

Paradigm	Multi-paradigm
Designed by	MIL-STD-1815/Ada 83: Jean Ichbiah * Ada 95: Tucker Taft * Ada 2005: Tucker Taft * Ada 2012: Tucker Taft
First appeared	1980
Typing discipline	static, strong, safe, nominative
OS	Cross-platform
Filename extensions	.adb .ads
Website	www.adaic.org
Major implementations
AdaCore GNAT, Green Hills Software Optimising Ada 95 Compiler, PTC, Inc. PTC ApexAda and PTC ObjectAda, DDC-I Score
Dialects
SPARK, Ravenscar profile
Influenced by
ALGOL 68, Pascal, C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005), Eiffel (Ada 2012)
Influenced
C++, Chapel, Eiffel, Java, Nim, PL/SQL, PL/pgSQL, Ruby, Rust, Seed7, SQL/PSM, VHDL

Ada is a computer programming language. It was invented by Jean Ichbiah during the 1980s. It is very similar to the programming language Pascal. Ada offers various features to make a program as safe as possible. That is why it is often used in systems where an error can be very dangerous. Ada is an international standard.

Hello world in Ada

Example of a Hello world program in Ada:

with Ada.Text_IO;

procedure Hello is
begin
    -- output of Text "Hello, world!".
    Ada.Text_IO.Put_Line("Hello, world!");
end Hello;

Ada is a reference to the mathematician Ada Lovelace, well known for her work with Charles Babbage on the first computer, The Analytical Engine, and her short book 'Flyology'.