だったら型推論も併せて導入すればいいというか、そもそも動的型付けのままで型アノテーションを追加するつもりなら、全く関係ないだろそれ＞＜

https://logmi.jp/tech/articles/330373
"...例えばこれから10年後、あるいは15年後、20年後に..." (略) "...ある種の静的型チェックが導入されて、だけど型宣言のない言語が未来で流行るんじゃないかなと私は思っています。
長い目で見ると、その時に今のRubyに型宣言を入れちゃうと、その時の新しい言語の仲間にRubyを入れてもらえないみたいなことが起きるんじゃないかなと思っています。"