Draft:Pony (programming language): Difference between revisions

Pony
Paradigm	Actor model, 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 17:58, 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 blends together race-free guarantees, static typing, generics, nominal typing, and structural typing. Its reference capability^[3] system allows developers to be explicit about how data is shared within and between actors.

Language design

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

Type Safe - Pony is a type safe language. For more details on why, check out the mathematical proof^[4]
Memory Safe - There are no dangling pointers and no buffer overruns. There is no null but optional types can be represented using unions with the None type.
Exception-Safe -There are no runtime exceptions. All exceptions have defined semantics, and they are always caught.
Data-race Free - Pony does not have locks or atomic operations. Instead, the type system ensures at compile time that your concurrent program can never have data races. This allows developers to write highly concurrent code with less change of problems occurring in the use of concurrency primitives.
Deadlock-Free - Pony lacks language-level constructs to create locks. It is impossible to write code that compiles that will produce a deadlock.
Native Code - Pony is an ahead-of-time (AOT) compiled language. There is no interpreter or virtual machine
Compatible with C - Interop with C is enabled through FFI
Garbage Collected - Each actor's heap is collected separately, there is no "stop the world" 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.
^ "Deny capabilities for safe, fast actors". 2015-10-26. {{cite web}}: Unknown parameter |authors= ignored (help)
^ https://www.ponylang.org/media/papers/fast-cheap.pdf

External links

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

[2] "Verona FAQ". Github.

[3] "Deny capabilities for safe, fast actors". 2015-10-26. {{cite web}}: Unknown parameter |authors= ignored (help)

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

[1]

[2]

[3]

[4]

@@ Line 18: / Line 18: @@
 | year                   = {{release date and age|2012|11|09}}
 | license                = [[BSD licenses|BSD]]-2.<ref>https://github.com/ponylang/ponyc/blob/master/LICENSE</ref>
-| file ext = .pony
 | programming_language = [[C (programming language)|C]]
 }}