Rust

Multi-paradigm, functional-leaning. First appeared 2010; systems and ownership; systems, tooling, embedded.

This record is a summary. The atlas carries a full article on Rust covering its semantics, memory model, standard history and ecosystem, plus a Rust reference. Read the Rust article.

Record¶

First appeared	2010
Family	Systems and ownership
Paradigm emphasis	Multi-paradigm, functional-leaning
Typing	Static, strong, inferred
Memory	Ownership and borrowing
Execution	AOT compiled (LLVM)
Primary domain	Systems, tooling, embedded
Designers	Graydon Hoare, Mozilla
Reference	https://doc.rust-lang.org/reference/
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. Rust 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
Ada	1980	Static, strong	Manual, pooled	AOT compiled
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. Rust itself is omitted. Source: languages.json.