[$] Preventing data races with Pony

Post Syndicated from daroc original https://lwn.net/Articles/1001224/

The
Pony programming language is dedicated to
exploring how to make high-performance

actor-based
systems. Started in 2014,
the language’s most notable feature is probably

reference capabilities
, a system of pointer annotations that gives the developer
fine manual control over how data is shared between actors, while simultaneously
ensuring that Pony programs don’t have data races. The language is not likely to
overtake other more popular programming languages, but its ideas could be useful for
other languages or frameworks struggling with concurrent data access.