Hacker News Reader

> to prove at compile time when you have racy code

Check out Pony.

I can't tell. Is that just a pun, or does Pony actually help with this?

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.