Ada

Ada is a structured, statically typed, imperative, and object-oriented high-level computer programming language. It has built-in language support for design-by-contract, 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 favour of runtime errors.

Installation

To install Ada:

sudo apt install gnat

Usage

To check GNAT version:

gnat compile --version

To compile a program:

gnatmake <program>.adb

To delete files produced by the compiler, binder and linker:

gnatclean <program>