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.
Facts
SignificanceReference capabilities allow even mutable data to be safely passed by reference between actors. 2 Connections
Influenced By
Pony's actor-model concurrency draws on Erlang's actor model.
Sources
1. Wikidata: Pony
- Wikidata Q51160093, resolved via en.wikipedia pageprops (wave rule R-L)
- Wikidata Q51160093 P275 (license)
View the Source2. Pony (programming language) - Wikipedia
Lead, second sentenceQuote, Lead, second sentence
Pony's reference capabilities allow even mutable data to be safely passed by reference between actors.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.