Skip to content

Milo

SystemsStatic

A memory-safe systems language that compiles to native code via LLVM. Ownership without lifetimes — move semantics and second-class references eliminate dangling pointers without a borrow checker or GC. 49 concepts, about a third of C++. Features green threads with transparent async I/O, channels, parallel blocks, and compile-time Send/Sync enforcement. GitHub

Quality
QualityQuality — Fewer Lines: 13Quality — Fewer Concepts: 4Quality — Low Noise: 1.7999999999999998Quality — Safe: 5Quality — Lightweight: 0.10000000000000003Quality — Info per Line: 3.9Fewer LinesFewer ConceptsLow NoiseSafeLightweightInfo per Line
Concept Distribution
Concept DistributionConcept Distribution — Types: 8Concept Distribution — Control: 6Concept Distribution — Functions: 5Concept Distribution — OOP/Data: 4Concept Distribution — Memory: 8Concept Distribution — Concurrency: 10Concept Distribution — Metaprog: 4Concept Distribution — Errors: 4TypesControlFunctionsOOP/DataMemoryConcurrencyMetaprogErrors
Safety5 / 5
Memory
Compile-time
Move semantics — single owner, use-after-move is a compile error
Null
Compile-time
No null — Option<T> with explicit unwrap
Data Races
Compile-time
Send/Sync traits enforce thread safety at compile time
Overflow
Compile-time
Compile-time range checks, debug-mode overflow traps
Coercion
Compile-time
No implicit conversions — explicit `as` casts required
Compile-timeRuntimeOpt-inNone
Expressivenessavg across benchmarks
Lines
26.9
Verbosity
593
Ceremony
0.3
Surface Area49 concepts
30 reserved keywords
Types
8
Control
6
Functions
5
OOP/Data
4
Memory
8
Concurrency
10
Metaprog
4
Errors
4
Explicitness
61% explicit39% implicit
61% of 49 concepts have dedicated keyword syntax. The rest are learned through documentation and practice.
AI Readiness
Type Coverage
Fully Static
LLM Tokens
213
Tok/Line
8.1
Lower tokens = cheaper API calls. Higher type coverage = more for AI to work with.

Solutions

View all Milo solutions in the problem pages.