Ada
Pascal / Algol · 1980Actively developedStrongly typed systems programming with contracts, tasking and high-integrity tooling.
Procedural
Links
- Homepage
- https://ada-lang.io/
- Reference / standard
- https://ada-lang.io/docs/arm/AA-TOC/
- Wikipedia (English)
- https://en.wikipedia.org/wiki/Ada_(programming_language)
Tracked release
- Version
- Ada 2022
- Artifact
- Published language standard
- Published
- 2023
- Source checked
- 2026-10-22
Use & ecosystem
- Suited for
- Systems programming, Embedded devices
- Family / tradition
- Pascal / Algol
- Maturity
- Established
- Ecosystem breadth
- Focused
Long industrial deployment and stable standards support Established. Its strongest tooling and support are concentrated in embedded and high-assurance systems.
Industry & practical use
Avionics, transport and other long-lived embedded systems are important application areas. Certification requirements concern the entire toolchain and process, not just the language.
Compilers, libraries & tooling
GNAT, commercial toolchains, Alire and the SPARK verification subset provide distinct development paths. Compiler coverage and qualified runtime availability depend on target and vendor.
Platforms & deployment
- General toolchains
- Linux, Windows, macOS
- Specialized tooling
- Bare metal / microcontrollers
- Native cross-compilation
- Established toolchains
Desktop/server hosts and embedded targets are supported through particular compilers and runtimes. Bare-metal deployments need target-specific runtime support.
Embedded Ada toolchains conventionally cross-compile, subject to the compiler’s supported target and runtime matrix.
Project health & support
ISO standardization and specialist commercial vendors support continued development. Support contracts and qualified toolchains should be evaluated separately from community package availability.
Use, ecosystem & platform assessment reviewed 2026-10-22 · Sources below
History & origin
Ada emerged from a US Department of Defense language-design effort. Jean Ichbiah’s team produced the selected design, documented in 1980 and standardized in 1983; later revisions added substantial facilities.
- Creators
- Jean Ichbiah, CII Honeywell Bull, United States Department of Defense
- Origin
- 1980 — Initial language reference; the first ANSI standard followed in 1983.
Influences & descendants
Influenced by
- Not yet documented in this catalogue.
Influenced in this catalogue
- No linked entries yet.
Language features
- Typing
- Static
- Execution
- AOT
- Block structure
- Explicit delimiters
- Semicolons
- Required
- Lexical closures
- Partial
- Namespaced modules
- Yes
- Pattern matching
- No
- Macro system
- No built-in macro system
Implementation notes
- Nested subprograms have accessibility and lifetime restrictions. Generics and contracts are not syntactic macros.
Sources & references
- Project overview
- https://ada-lang.io/
- Standard / reference
- https://ada-lang.io/docs/arm/AA-TOC/
Use, ecosystem & platform sources
- Project overview
- https://ada-lang.io/
- Standard / reference
- https://ada-lang.io/docs/arm/AA-TOC/
See the classification definitions for implementation-dependent features. Influence links cover the entries documented here.