Ada

Summary

Ada is a structured, statically typed, object-oriented high-level programming language designed for reliability and safety-critical applications. It was developed under contract to the US Department of Defense and named after Ada Lovelace, considered the first computer programmer.

Paradigms

imperative

Domains

embedded systems, real-time computing, safety-critical systems, systems programming, aerospace

Key Features

modules, generics, contracts

Typing

static system, non-structural typing, strong typing, partial inference, compile-time checking, none type coercion, required type annotations

Compilation

compiled

Influenced By

Pascal, ALGOL 68, Green, ALGOL 60, Ada 95, Java, C++, Smalltalk, Eiffel, Modula-2

Influenced

Java, Seed7, ParaSail, Erlang, Nim, Python, Ruby, Concurrent C, PL/pgSQL, Eiffel, PL/SQL, C++, Austral, XL, Raku, Chapel

Ratings

File extensions

adb, ada, ads

External Links

• Ada official site
• Ada jobs at Devjobsscanner
• r/ada subreddit
• Trending GitHub repositories