Pony

Join the Pony Track
TODO: The maintainers have not provided a description for this track.
Join the Pony Track
Track mentors

0 Mentors

Our mentors are friendly, experienced Pony developers who will help teach you new techniques and tricks.
Track students

55 Students

Join hundreds of students who have enjoyed learning and improving their skills by taking this track.
Track exercises

11 Exercises

Hundreds of hours have gone into making these exercises fun, useful, and challenging to help you enjoy learning.

About Pony

primitive HelloWorld
  fun hello(): String => "Hello, World!"

Pony is an object-oriented, actor-model, capabilities-secure programming language focused on geting stuff done.

It's object-oriented because it has classes and objects, like Python, Java, C++, and many other languages. It's actor-model because it has actors (similar to Erlang or Akka). These behave like objects, but they can also execute code asynchronously. Actors make Pony awesome. When we say Pony is capabilities-secure, we mean a few things:

  • It's type safe. Really type safe. There's a mathematical proof and everything.
  • It's memory safe. Ok, this comes with type safe, but it's still interesting. There are no dangling pointers, no buffer overruns, heck, the language doesn't even have the concept of null!
  • It's exception safe. There are no runtime exceptions. All exceptions have defined semantics, and they are always handled.
  • It's data-race free. Pony doesn't have locks or atomic operations or anything like that. Instead, the type system ensures at compile time that your concurrent program can never have data races. So you can write highly concurrent code and never get it wrong.
  • It's deadlock free. This one is easy, because Pony has no locks at all! So they definitely don't deadlock, because they don't exist.

Newcomers should start with the tutorial.

Join the Pony track

Exercism is a great website

Exercism is a great website where I was able to have some very interesting challenges.

Fun. Challenging. Interesting

Community-sourced Pony exercises

These are a few of the 11 exercises on the Pony track. You can see all the exercises here.

Difference Of Squares
easy
iterators
math
Leap
easy
booleans
Bob
easy
strings
Pascal's Triangle
easy
arrays
iterators
math
Roman Numerals
easy
errors
strings
Anagram
easy
reference capabilities
strings

Get started with the Pony track. As with everything on Exercism, it's 100% free!

Join the Pony Track