"The goal of RBS is to support commonly seen patterns in #Ruby programs and it allows writing advanced types... TypeProf is a type analysis tool... serves as a kind of type inference."

https://www.ruby-lang.org/en/news/2020/12/25/ruby-3-0-0-released/