State of Sorbet: A Type Checker for Ruby

Sorbet