Skip to content

Last Week in Pony - April 10, 2017

Last Week In Pony is a weekly blog post to catch you up on the latest news for the Pony programming language. To learn more about Pony check out our website, our Twitter account @ponylang, or our Zulip community.

Got something you think should be featured? There’s a GitHub issue for that! Add a comment to the open “Last Week in Pony” issue.

Items of note

Pony 0.13.0 released! It’s a high priority release recommended for all Pony users. PR #1868 fixed a type system problem identified by Paul LiĆ©tar. Paul is currently working on verifying the Pony type system as part of his final year project at Imperial College. Expect to see more high priority releases as we fix problems that Paul identifies. Complete release notes are available.

News and Blog Posts

Ever wondered, how do I debug my Pony program? Well, things just got a little easier with the Pony LLDB cheat sheet. We’re hoping its a good way to get folks started with LLDB and Pony.

PR opened to add Pony syntax highlighting to Rouge, a pure Ruby syntax highlighter akin to Python’s Pygments.

Was recently added to the Ponylang website to help folks with learning reference capabilities. They are the biggest stumbling block for folks so we wanted to add a section to encourage folks and assist their learning:

  • Standard Library documentation temporarily relocated was moved from being hosted on GitHub pages to being on Netlify: HTTPS access is now available. Unfortunately, as part of the move, we broke hosting of the standard library documentation. Once we sort out the DNS, it will be at but until the DNS is sorted, will work.

Interested in how Pony gets developed? What’s going on? What the developers are up to? Check out audio from our weekly meeting. Btw, it open to the public!


Interested in making a change, or keeping up with changes to Pony? Check out the RFC repo. Contributors welcome!