Category:Pony: Difference between revisions
Content added Content deleted
mNo edit summary |
No edit summary |
||
Line 11: | Line 11: | ||
'''Pony''' is an object-oriented, actor-model, capabilities-secure, high performance programming language. |
'''Pony''' is an object-oriented, actor-model, capabilities-secure, high performance programming language. |
||
'''Pony''' provides type safety with mathematical proof, memory safety, exception safety and data-race free |
'''Pony''' provides type safety with a mathematical proof, memory safety, exception safety and data-race free concurrency with no runtime overhead. |
Latest revision as of 13:14, 20 May 2015
Pony
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using Pony.
This programming language may be used to instruct a computer to perform a task.
Official website |
---|
Execution method: | Compiled (machine code) |
---|---|
Garbage collected: | Yes |
Type safety: | Safe |
Type strength: | Strong |
Type checking: | Static |
See Also: |
|
Pony is an object-oriented, actor-model, capabilities-secure, high performance programming language.
Pony provides type safety with a mathematical proof, memory safety, exception safety and data-race free concurrency with no runtime overhead.
Pages in category "Pony"
The following 19 pages are in this category, out of 19 total.