It does exist but they are not embraced by the majority of the Ruby community.

Unless type annotations are treated like first class citizen in the language, it won't be good enough. My theory is that those in the community wanting static types went to Go or Rust.