Pony for Safe, Fast, Concurrent Programs

An introduction to the programming language Pony, and how it makes it easy to write safe, fast, concurrent programs. We will discuss the actor paradigm, the type system and its guarantee of atomicity at the behaviour level, the use of types for GC , the runtime system, and some benchmarks

Talk objectives

To demonstarte the principles guiding the design of the language Pony. To show how Pony achieves performance.

Talk audience

People who want to know the principles that guided the design of Pony, how these demonstrate themselves in the programming language, and then how they affected the runtime.