It’s not a joke see Pony’s front-page. I’ve also heard that other languages are considering moving to this provable compile time model such as Swift. I’d be ha

It’s not a joke see Pony’s front-page. I’ve also heard that other languages are considering moving to this provable compile time model such as Swift. I’d be happy to offload such mental hoops to the compiler.