This article is the first in a series of blog posts about the Pony language’s type system, with a focus on the capability system. Pony Pony is a programming language which aims at making it easier to write concurrent programs. Among other things, the language promises that any program which successfully compiles cannot experience data races. The goal of this series of blog posts is to explore how