Pony

{{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.

Tasks

• Hello world!
• 2048