Pony (programming language)

Pony is an open-source, object-oriented, actor-model programming language created by Sylvan Clebsch and first released in 2015, designed to guarantee both high performance and data-race-free, deadlock-free concurrent programming through a capabilities-based type system enforced entirely at compile time. Pony programs are organized as independent actors that communicate only through asynchronous messages, and its type system statically proves the absence of data races without requiring locks, making Pony notable among concurrent languages for eliminating an entire class of concurrency bugs by construction rather than through runtime checks.