So make way for Pony, the programming language that rules out data races and many concurrency bugs at compile time. Want to know more? Check out this talk by Software Engineer, John Mumm from Curry On Conference.
Safely Sharing Data - Reference Capabilities in the Pony Programming Language
Many frustrating concurrency bugs arise from unsafely sharing data. But the Pony programming language rules out data races and many of these concurrency bugs at compile time, allowing the developer to build systems without worrying about them. In this talk, I’ll explain the general conditions that make sharing data unsafe. Starting from simple concepts, I’ll then explain reference capabilities, Pony’s answer to data safety, which ensure that data is shared safely without having to give up mutability and without resorting to locks.