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.