InfoQ Homepage Presentations Pony: Co-designing a Type-system and a Runtime
Pony: Co-designing a Type-system and a Runtime
50:29
Summary
Sylvan Clebsch talks about Pony, an actor-model, capabilities-secure, native programming language. He talks about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully concurrent no-stop-the-world garbage collection of both objects and actors, and extending Pony to the distributed setting.
Bio
Sylvan Clebsch is the designer of the Pony programming language. He works at Microsoft Research Cambridge in the Programming Language Principles group. He is interested in massively concurrent and distributed systems, garbage collection, type systems, actor-model programming, and trusted computing.
About the conference
Software is changing the world. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.
Jun 14, 2017