3 ms·
> to prove at compile time when you have racy code Check out Pony.
by acuozzo 7y ago
> to prove at compile time when you have racy code
Check out Pony.
- AnimalMuppet 7y agoI can't tell. Is that just a pun, or does Pony actually help with this?
- deckarep 7y agoIt’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.