[$] Preventing data races with Pony

ThePony programming language is dedicated toexploring how to make high-performanceactor-based systems. Started in 2014,the language's most notable feature is probablyreference capabilities, a system of pointer annotations that gives the developerfine manual control over how data is shared between actors, while simultaneouslyensuring that Pony programs don't have data races. The language is not likely toovertake other more popular programming languages, but its ideas could be useful forother languages or frameworks struggling with concurrent data access.