Ada

Imperative, concurrent, contract-based. First appeared 1980; systems and ownership; avionics, defence, safety-critical.

Record¶

First appeared	1980
Family	Systems and ownership
Paradigm emphasis	Imperative, concurrent, contract-based
Typing	Static, strong
Memory	Manual, pooled
Execution	AOT compiled
Primary domain	Avionics, defence, safety-critical
Designers	Jean Ichbiah, US DoD
Reference	https://www.iso.org/standard/86487.html
Last verified	not yet checked against its source by a human

Dates are first public release or publication, not the start of internal development. Colour on the typing and memory tags encodes kind, never rank.

Influence¶

Figure 1. Ada in the influence graph: recorded ancestors on the left, languages that record it as an influence on the right. Every node links to its own record. Edges name indexed languages only, so an empty side means no indexed relative, not none at all. Source: languages.json.

Within the Systems and ownership¶

Predictable performance without a tracing collector, achieved through ownership, borrowing, or reference counting checked at compile time.

Language	First appeared	Typing	Memory	Execution
Rust	2010	Static, strong, inferred	Ownership and borrowing	AOT compiled (LLVM)
Swift	2014	Static, strong, inferred	Automatic Reference Counting	AOT compiled (LLVM)
Zig	2016	Static, strong	Manual, explicit allocators	AOT compiled (LLVM)
Hare	2022	Static, strong	Manual, no runtime collector	AOT compiled (QBE)
Mojo	2023	Static, strong; dynamic Python interop	Ownership and borrowing	AOT compiled (MLIR/LLVM)

5 other languages in this family, ordered by first appearance. Ada itself is omitted. Source: languages.json.