1.Previous
3.Next

- Pony is a type safe language.
* Memory safety - There are no dangling pointers and no buffer overruns. There is no null but optional types can be safely represented using unions with the None type.
* Exception safety - There are no runtime exceptions. All exceptions have defined semantics and are always caught.
* Concurrency safety - The type system employs reference capabilities to ensure (at compile time) that there are no data races

1.Previous
3.Next