Sorbet

A powerful type checker designed for Ruby