Pony

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

0 Mentors

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

47 Students

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

11 Exercises

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

About Pony

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
primitive HelloWorld
  fun hello(): String => "Hello, World!"

Exercism is a great website

The reviews are incredibly helpful because they help me see things that I missed, learn about new ways and sometimes interesting discussions that can add a fun twist to maybe a simple problem.

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.

Atbash Cipher
medium
easy
iterators
strings
Difference Of Squares
medium
easy
iterators
Bob
medium
easy
strings
Pascals Triangle
medium
easy
arrays
iterators
math
Leap
medium
easy
booleans
math
Hamming
medium
easy
errors

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

Join the Pony Track