Sorbet:
A Typechecker for Ruby

Dmitry @darkdimius Petrashko Nelson @nelhage Elhage Paul @ptarjan Tarjan