Skip to content
◈ALB Atlas

Sylvan Clebsch Alive

Sylvan Clebsch
KindPerson
Born—
StatusAlive
Fieldprogramming languages
Sourcewww.ponylang.io ↗

Created Pony — capabilities-secure actors with a type system that makes data races unrepresentable.

Created Pony

Created Pony (2015) — the capabilities-secure actor language — and wrote its runtime.\n\nThe 'deny capabilities sharing' thesis is the most rigorous take on concurrency safety in a production language.

Sources

  1. ponylang.io/
  2. en.wikipedia.org/wiki/Pony_(programming_language)