Sorbet

It is 100% compatible with Ruby. It type checks normal method definitions, and introduces backwards-compatible syntax for method signatures. Explicit method signatures make it useful for anyone reading the code. Type annotations serve as a tool for understanding long after they're written.