Pony
Actor-based object-oriented language with a capability-security type system — data-race free and deadlock free by design.
static
compiled
since 2014
oopconcurrentactor-model
Pony’s reference capability system encodes aliasing and mutability at the type level, making data races and deadlocks impossible by construction — not just unlikely, but unrepresentable. Its actor model uses work-stealing for efficient concurrency without locks. Pony compiles to native code via LLVM and is used in research into safe high-performance concurrent systems.