Skip to content
◈ALB Atlas

Pony Dormant

Pony
KindProgramming language
Appeared2015
StatusDormant
CreatorSylvan Clebsch
FamilyC
Sourcewww.ponylang.io ↗

Actor-model meets capability security — reference capabilities as types; the research language that dared to be small.

Created by Sylvan Clebsch

Sylvan Clebsch's Pony (2015) — actor-model + capabilities — made 'no data races ever' a type system: reference capabilities deny sharing at compile time.\n\nIt is the most rigorous concurrency-safety experiment in a production language — a proof that prevention beats detection.

Sources

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