Jump to content

Draft:Pony (programming language): Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
No edit summary
Declining submission: web - Submission is about web content not yet shown to meet notability guidelines (AFCH 0.9)
Line 1: Line 1:
{{AFC submission|d|web|u=RealityDysfunction|ns=118|decliner=SwisterTwister|declinets=20170120192920|ts=20170120190503}} <!-- Do not remove this line! -->
{{AFC submission|d|web|u=Autodidaddict|ns=118|decliner=Shadowowl|declinets=20170715165612|ts=20170715153954}} <!-- Do not remove this line! -->
{{AFC submission|d|web|u=RealityDysfunction|ns=118|decliner=SwisterTwister|declinets=20170120192920|small=yes|ts=20170120190503}} <!-- Do not remove this line! -->

{{AFC comment|1=Source no. 3 is not independent of the subject. {{User:Shadowowl/Sig}} 16:56, 15 July 2017 (UTC)}}


{{AFC comment|1=This would've needed all major reviews. [[User:SwisterTwister|<font color="green">'''S'''wister'''T'''wister</font>]] [[User talk:SwisterTwister|<font color="green">talk</font>]] 19:29, 20 January 2017 (UTC)}}
{{AFC comment|1=This would've needed all major reviews. [[User:SwisterTwister|<font color="green">'''S'''wister'''T'''wister</font>]] [[User talk:SwisterTwister|<font color="green">talk</font>]] 19:29, 20 January 2017 (UTC)}}
Line 16: Line 19:
| website = {{URL|http://www.ponylang.org}}
| website = {{URL|http://www.ponylang.org}}
| year = {{release date and age|2012|11|09}}
| year = {{release date and age|2012|11|09}}
| license = [[BSD licenses|BSD]]-2<ref>https://github.com/ponylang/ponyc/blob/master/LICENSE</ref>
| license = [[BSD licenses|BSD]]-2.<ref>https://github.com/ponylang/ponyc/blob/master/LICENSE</ref>
| programming_language = [[C (programming language)|C]]
| programming_language = [[C (programming language)|C]]
}}
}}
Line 30: Line 33:
At its core, Pony is a systems language designed around safety and performance.
At its core, Pony is a systems language designed around safety and performance.


* Type Safe - Pony is a ''very'' type safe language. For more details on why, check out the mathematical proof<ref>https://www.ponylang.org/media/papers/fast-cheap.pdf</ref>.
* Type Safe - Pony is a ''very'' type safe language. For more details on why, check out the mathematical proof<ref>https://www.ponylang.org/media/papers/fast-cheap.pdf</ref>
* Memory Safe - There are no dangling pointers and no buffer overruns. Like Rust, Pony does not even allow the concept of null.
* Memory Safe - There are no dangling pointers and no buffer overruns. Like Rust, Pony does not even allow the concept of null.
* Exception-Safe -There are no runtime exceptions. All exceptions have defined semantics, and they are always caught.
* Exception-Safe -There are no runtime exceptions. All exceptions have defined semantics, and they are always caught.
Line 65: Line 68:
* [https://www.infoq.com/news/2016/03/pony-fintech InfoQ: Using the Actor-model Language Pony for FinTech]
* [https://www.infoq.com/news/2016/03/pony-fintech InfoQ: Using the Actor-model Language Pony for FinTech]
* [https://www.youtube.com/watch?v=KvLjy8w1G_U Pony: Making it easy to write efficient, concurrent, data race free programs] at [http://curry-on.org/2015/sessions/pony-making-it-easier-to-write-efficient-concurrent-programs.html Curry On 2015] associated with [[ECOOP]] [http://2015.ecoop.org/ 2015]
* [https://www.youtube.com/watch?v=KvLjy8w1G_U Pony: Making it easy to write efficient, concurrent, data race free programs] at [http://curry-on.org/2015/sessions/pony-making-it-easier-to-write-efficient-concurrent-programs.html Curry On 2015] associated with [[ECOOP]] [http://2015.ecoop.org/ 2015]

{{AFC submission|||ts=20170715153954|u=Autodidaddict|ns=118}}

Revision as of 16:56, 15 July 2017

  • Comment: Source no. 3 is not independent of the subject. » Shadowowl | talk 16:56, 15 July 2017 (UTC)
  • Comment: This would've needed all major reviews. SwisterTwister talk 19:29, 20 January 2017 (UTC)
Pony
ParadigmActor model
Designed bySylvan Clebsch
First appearedNovember 9, 2012; 12 years ago (2012-11-09)
Stable release
0.15.0 / August 7, 2017; 7 years ago (2017-08-07)
Typing disciplinestrong, static, inferred, structural
Implementation languageC
LicenseBSD-2.[1]
Websitewww.ponylang.org
Influenced by
E, Rust
Influenced
Encore

Pony (often referred to as ponylang) is a free and open source, object-oriented, actor model, capabilities-secure, high performance programming language. Pony blends together the race-free guarantees of the Rust programming language, static typing, generics, traits, and the structural typing so well used by the Go programming language. Its reference capabilities[2] system allows developers to be explicit about how data is shared among components and actors, visually indicating what can and cannot be read from or written to.

This allows Pony to reside somewhere between the strict rules of Rust's borrow checker and Go's flexible structural typing while still being able to make race-free and data sharing guarantees.

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.

Language design

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

  • Type Safe - Pony is a very type safe language. For more details on why, check out the mathematical proof[3]
  • Memory Safe - There are no dangling pointers and no buffer overruns. Like Rust, Pony does not even allow the concept of null.
  • 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

Here are a few examples of idiomatic Pony.

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.

References

  1. ^ https://github.com/ponylang/ponyc/blob/master/LICENSE
  2. ^ "Deny capabilities for safe, fast actors". 2015-10-26. {{cite web}}: Unknown parameter |authors= ignored (help)
  3. ^ https://www.ponylang.org/media/papers/fast-cheap.pdf
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Draft:Pony_(programming_language)&oldid=790718531"