Ada

SystemsStatic

Designed for safety-critical systems — avionics, defense, railway signaling, and space. Strong static typing with range types, contract-based programming, and built-in concurrency (tasks and protected objects). Large surface area (85 concepts) but every feature exists to catch bugs at compile time rather than in production.

Profile only — no benchmark solutions yet.

Concept Distribution

Safety3.4 / 5

Memory

Runtime

Runtime bounds/access checks, but Unchecked_Deallocation allows use-after-free

Null

Runtime

Access types checked at runtime; "not null" annotation opt-in

Data Races

Runtime (opt-in)

Protected objects available but not required for all shared state

Overflow

Compile-time

Constraint_Error raised on overflow — always checked

Coercion

Compile-time

Strong typing — no implicit conversions between numeric types

Compile-timeRuntimeOpt-inNone

How we score

Surface Area85 concepts

74 reserved keywords

Types

18

Control

10

Functions

8

OOP/Data

12

Memory

10

Concurrency

12

Metaprog

6

Errors

9

How we measure

Explicitness

87% explicit13% implicit

87% of 85 concepts have dedicated keyword syntax. The rest are learned through documentation and practice.