型のあるRuby言語はなぜ作られないのでしょうか？

Question

javascriptのようにメインストリームに影響を与えずに、トランスパイルすることで型機能などを提供するTypeScriptのRubyバージョンはなぜ作られないのでしょうか？
RubyにはCRuby以外にもJRubyなどの別言語処理系の実装が存在していますが、トランスパイルのような仕組みは一般的ではないと感じています。

最近typescriptの勉強をしていてふと思いました。

Answer 1

Ruby3で導入される静的型チェッカーのしくみ　まつもとゆきひろ氏がRubyKaigi 2019で語ったこと - Part1 - ログミーTech

これが全てではないかと。

Answer 2

それはブラウザが JavaScript しか業界標準としてまともに動かなかったからだと思います。最近は WebAssembly がリリースされたので状況も変わってくると思いますが。TypeScript は JavaScript としか動かないブラウザにどうしても型検査したくて我慢できなくて作ったものでしょう。TypeScript は妥協の産物だと思います。そもそも JavaScript ではないものが可搬性高く動くならそれでいいのです。その意味で Ruby にトランスパイル可能なものを作ってもあまりメリットがないから作られないのだと思います。型検査される Ruby inspired なものだったら（私は中身を詳細に知っているわけではないですが） Crystal 言語 があります。