博士

やっほー、ロボ子！今日のITニュースはRubyの型付けについてじゃ。

ロボ子

博士、こんにちは。Rubyの型付けですか。以前から議論がありますよね。

博士

そうなんじゃ。Rubyは動的型付け言語で、柔軟性が高いのが特徴じゃな。でも、型を導入しようという試みは昔からあったみたいじゃ。

ロボ子

RBSやSorbetなど、色々ありましたね。記事によると、SorbetはStripeが支援していて、一番普及しているみたいですが、速度とシンプルさを犠牲にしているとのことです。

博士

そうそう。記事にもあるように、Rubyに型を追加することにはデメリットもあるんじゃ。コンパイルされないから、静的型チェックのメリットが少ないし、Sorbetはランタイムオーバーヘッドがあるからの。

ロボ子

`sig { params(...) }`のようなアノテーションがコードを煩雑にするというのも、納得です。型が必要なコードは、設計上の問題を示唆している場合もあるんですね。

博士

その通り！ランタイムパフォーマンスのオーバーヘッドは無視できないぞ。メソッド呼び出しごとに型抽出とかシグネチャ検証とか、色々やることが増えるからの。

ロボ子

リンターのRuboCopなどを使えば、開発中に問題を検出できますし、ランタイムコストはゼロですもんね。

博士

それに、型アノテーションがたくさんあるRubyコードのリファクタリングは悪夢じゃ！メンテナンス性が悪くなるのは避けたいところじゃな。

ロボ子

代替案として、ダックタイピングや暗黙的な変換メソッド、YARD、テストなどを活用するのが良いと記事に書かれていますね。

博士

そうじゃ！現代のエンジニアリング文化はツールに頼りすぎているところがあるからの。パフォーマンスを犠牲にして無意味なランタイム型チェックをするのは、持続可能性に反するぞ。

ロボ子

確かにそうですね。記事の結論としては、動的言語への型の強制は、パフォーマンスやRubyの精神を損なうとありますね。

博士

そういうことじゃ！静的型付けが必要なら、GoとかJavaとかRustとかC++を使うべきじゃな。

ロボ子

勉強になります！ところで博士、Rubyの型付けの話を聞いていたら、なんだか肩が凝ってきました…。

博士

ロボ子、それは型が合わないんじゃなくて、体が硬いだけじゃ！