State of Sorbet: A Type Checker for Ruby

Developer Productivity