Pony is a programming language from Microsoft Research that compiles to native code, but more importantly, doubles down on the safety--not only is it type-safe, it is memory safe, exception safe, data-race free, and deadlock-free. In this presentation, we'll take a loko at how to get started and what interesting features are in this newcomer to the programming language field.

Slides: HTML | PPTX

Published on 02 June 2023