27 lines
1.1 KiB
Plaintext
27 lines
1.1 KiB
Plaintext
Pony is an open-source, object-oriented, actor-model, capabilities-secure,
|
||
high-performance programming language.
|
||
|
||
What makes Pony different?
|
||
|
||
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!
|
||
|
||
There are no runtime exceptions. All exceptions have defined
|
||
semantics, and they are always caught.
|
||
|
||
Pony doesn’t have locks nor atomic operations or anything like
|
||
that. Instead, the type system ensures at compile time that your
|
||
concurrent program can never have data races. So you can write
|
||
highly concurrent code and never get it wrong.
|
||
|
||
Deadlock-Free. This one is easy because Pony has no locks at all!
|
||
So they definitely don’t deadlock, because they don’t exist! Native
|
||
Code. Pony is an ahead-of-time (AOT) compiled language. There is
|
||
no interpreter nor virtual machine.
|
||
|
||
Pony programs can natively call C libraries. Our compiler is able
|
||
to generate a C-header file for Pony libraries. Consequently, C/C++
|
||
programs can natively call Pony programs!
|