Milo
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
Concept Distribution
Safety5 / 5
Memory
Compile-timeMove semantics — single owner, use-after-move is a compile error
Null
Compile-timeNo null — Option<T> with explicit unwrap
Data Races
Compile-timeSend/Sync traits enforce thread safety at compile time
Overflow
Compile-timeCompile-time range checks, debug-mode overflow traps
Coercion
Compile-timeNo 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
Explicitness
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.