Ownership Type System Done Right

Screenshot from this talk about Pony language.