Pony: An actor-model, capabilities-secure, high-performance programming language