Category:Pony: Difference between revisions
Content added Content deleted
(Created page with "{{stub}}{{language}}") |
No edit summary |
||
| (5 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{language| |
|||
|exec=machine |
|||
|strength=strong |
|||
|safety=safe |
|||
|checking=static |
|||
|gc=yes |
|||
|site=http://ponylang.org/ |
|||
}} |
|||
'''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. |
|||
Latest revision as of 13:14, 20 May 2015
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.