>What makes Pony different?
>Pony is type safe
>Really type safe. There’s a mathematical proof and everything.

>Pony is memory safe
>There are no dangling pointers and no buffer overruns. The language doesn’t even have the concept of null!

>Exception-Safe
>There are no runtime exceptions. All exceptions have defined semantics, and they are always caught.


I smell lies... And bullshit compiler hoops to jump through