Ruby has wonderful developer ergonomics. Typed languages are easier for machines to guarantee the correctness of. We built a type checker for Ruby (and I believe it is slated for OSS release sometime).
c.f.
https://medium.com/byteconf/stripe-is-building-a-ruby-typechecker-d6cd7cee6abf