Ada

Reliable Software for Critical Systems

First appeared: 1983Designed by: Jean Ichbiah, S. Tucker Taft

A structured, statically typed language designed for safety-critical and real-time systems in aerospace, defense, and railways.

Links

OOPProcedural

with Ada.Text_IO;

procedure Hello is
begin
  Ada.Text_IO.Put_Line("Hello, World!");
end Hello;

Developed for the U.S. Department of Defense, first standardized in 1983 (Ada 83). Named after Ada Lovelace. Ada 2022 is the latest standard.

Type system: Static

Package Managers

Alire

Frameworks

GNATAda Web Server