Pony¶ An open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language. Get Started Try It in Your Browser Install Pony is…¶ Type safe¶ Really type safe. There’s a mathematical proof and everything. Memory safe¶ No dangling pointers. No buffer overruns. No null. Data-race free¶ Pony doesn’t have locks or atomic operations. The type system ensures at compile

