Draft:Pony (programming language): Difference between revisions

Pony
Paradigm	Actor model, Object-oriented, Imperative
Designed by	Sylvan Clebsch
First appeared	November 9, 2012; 12 years ago
Stable release	0.58.5 / June 1, 2024; 6 months ago
Typing discipline	strong, static, inferred, nominal, structural
Implementation language	C
License	BSD-2.
Website	www.ponylang.org
Influenced by
	E
Influenced
	Encore, Project Verona, Savi, Inko

Browse history interactively

← Previous edit Next edit →

Content deleted Content added

VisualWikitext

Inline

Revision as of 21:25, 20 June 2024

Draft article not currently submitted for review.

This is a draft Articles for creation (AfC) submission. It is not currently pending review. While there are no deadlines, abandoned drafts may be deleted after six months. To edit the draft click on the "Edit" tab at the top of the window.

To be accepted, a draft should:

Show the subject qualifies for a Wikipedia article by using multiple sources that meet four criteria. The sources should be (1) reliable (2) secondary (3) independent of the subject (4) talk about the subject in some depth. For some topics, there are alternative criteria.
Be written from a neutral point of view
Respect copyright and do not plagiarize. Do not copy-paste.

It is strongly discouraged to write about yourself, your business or employer. If you do so, you must declare it.

Where to get help

If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews.
If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed.

How to improve a draft

Wikipedia:Contributing to Wikipedia – a basic overview on how to edit Wikipedia.
Help:Wikitext – how to use the markup
Help:Referencing for beginners – how to include references
Wikipedia:Article development – how to develop your article
Wikipedia:Writing better articles – how to improve your article
Wikipedia:Verifiability – make sure your article includes reliable third-party sources

You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article.

Improving your odds of a speedy review

To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags.

Add tags to your draft

Editor resources

Easy tools: Citation bot (help) | Advanced: Fix bare URLs

Last edited by AdrianBoyko (talk | contribs) 5 months ago. (Update)

Submit the draft for review!

Pony (sometimes referred to as ponylang) is a free and open source, object-oriented, actor model, capabilities-secure, high performance programming language. Pony's reference capabilities allow even mutable data to be safely passed between actors by reference. Garbage collection is performed concurrently, per-actor, without the need to "stop the world".

Language design

At its core, Pony is a systems language designed around safety and performance.

Safety

Type Safety - Pony is a type safe language.^[3]
Memory Safety - There are no dangling pointers and no buffer overruns. There is no null but optional types can be safely represented using unions with the None type.
Exception Safety - There are no runtime exceptions. All exceptions have defined semantics and they are always caught.
Concurrency Safety - The type system employs reference capabilities^[4] to ensure (at compile time) that your program is free of data races and deadlocks.

Performance

Lock-Free - By design, Pony avoids the need for traditional locking mechanisms, which eliminates the overhead and contention associated with locks.
Native Code - Pony is an ahead-of-time (AOT) compiled language. There is no interpreter or virtual machine
Concurrent Garbage Collection - Each actor's heap is collected separately and concurrently, avoiding the need to "stop the world" for global collection.

Examples

A few examples of idiomatic Pony follow.

Hello World

In Pony, instead of a main function, there is a main actor. The creation of this actor serves as the entry point into the Pony program.

actor Main
  new create(env: Env) =>
    env.out.print("Hello, world!")

There are no global variables in Pony, everything must be contained within an instance of a class or an actor. As such, even the environment that allows for printing to stdout is passed as a parameter.

History

In 2011, Sylvan Clebsch created a C-based actor library in order to solve some real problems for software he was creating. Ultimately this library became the first implementation of Pony in 2012.

References

^ https://github.com/ponylang/ponyc/blob/master/LICENSE
^ "Verona FAQ". Github.
^ https://www.ponylang.org/media/papers/fast-cheap.pdf
^ Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil (October 2015). "Deny capabilities for safe, fast actors". In Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos Varela (ed.). AGERE! 2015: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control. Pittsburgh, PA, USA: Association for Computing Machinery. pp. 1–12. doi:10.1145/2824815.2824816. ISBN 9781450339018.{{cite conference}}: CS1 maint: multiple names: authors list (link)

External links

[1] ttps://github.com/ponylang/ponyc/blob/master/LICENSE

[2] "Verona FAQ". Github.

[3] ttps://www.ponylang.org/media/papers/fast-cheap.pdf

[4] Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil (October 2015). "Deny capabilities for safe, fast actors". In Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos Varela (ed.). AGERE! 2015: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control. Pittsburgh, PA, USA: Association for Computing Machinery. pp. 1–12. doi:10.1145/2824815.2824816. ISBN 9781450339018.{{cite conference}}: CS1 maint: multiple names: authors list (link)

[1]

[2]

[3]

[4]

@@ Line 21: / Line 21: @@
 }}
-'''Pony''' (sometimes referred to as '''ponylang''') is a [[Free software|free]] and [[open-source|open source]], object-oriented, actor model, capabilities-secure, high performance programming language. Pony's "reference capabilities" allow even mutable data to be safely passed between actors ''by reference''. Garbage collection is based on the ORCA protocol which leads to independent and concurrent garbage collection across actors, without the need to "stop the world".
+'''Pony''' (sometimes referred to as '''ponylang''') is a [[Free software|free]] and [[open-source|open source]], object-oriented, actor model, capabilities-secure, high performance programming language. Pony's reference capabilities allow even mutable data to be safely passed between actors ''by reference''. Garbage collection is performed concurrently, per-actor, without the need to "stop the world".
 ==Language design==