Pony
Actors and capability-based concurrency
What it does
Pony combines an actor model with reference-capability types, using type rules to describe how data can be shared within concurrent programs and across their interacting actors.
When to use it
For concurrency design, study capability and message examples to understand the constraints placed on data transfer between actors.
