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
To demonstarte the principles guiding the design of the language Pony. To show how Pony achieves performance.
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.
Sophia Drossopoulou is Professor in Programming Languages at Imperial College London. She achieved her Ph.D. from the Karlsruhe Institute of Technology.
Her main research interests cover formal methods for programming language design and implementation. In particular, she had worked on concurrency, type systems, object-oriented programming, object capabilities and reasoning about programs. She has collaborated with Sylvan Clebsch in the design of the language Pony.