Category:Pony: Difference between revisions

no edit summary
No edit summary
No edit summary
 
(4 intermediate revisions by one other user not shown)
Line 1:
{{stub}}{{language|
|exec=compiledmachine
|strength=strong
|safety=safe
Line 7:
|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.