AIとRubyの静的型付け

ルールルルルルRubyKaigi 2026事後勉強会 登壇資料

目次
- AI時代においてRubyの型はどうなるのか？
- 型関連セッション振り返り
- AIとRubyの型システム

Transcript

1. AIとRubyの静的型付け ルールルルルル RubyKaigi 2026事後勉強会 ukin0k0
2. うきのこ。 @ukin0k0 株式会社クラウドワークスのWebアプリケーションエンジニア RubyKaigiは那覇、松山に続き、三回目 RBS / Steepの整理をしたことをきっかけに 今回は型関連セッションをメインに聴講
3. AI時代において Rubyの型はどうなるのか？
4. RubyKaigi 2025 Matz Keynote ★ Smart People don’t care Static Types ★ I don’t think AI would make those errors RubyKaigi 2026 事前勉強会 ★ 型関連のセッションが減った ★ 『No Types Needed, Just Callable Method Check』by @_dak2_ 型要らなそう...？
5. 型関連セッション振り返り
6. Claude Codeに最適なプログラミング言語は？ ★ RubyはPython、JavaScriptと並んで最も高速 で、安価で、安定にAI実装できる ★ SteepありのRubyはプレーンの Rubyの2.5倍 遅く、2.3倍高い 引用: 『Which Programming Language Is Best for Claude Code? 』Yusuke Endoh
7. セッションでの AIに関する話 No Types Needed, Just Callable Method Check @_dak2_ ★ AIが非決定的な動きをする以上はContract（契約・規約）としての型は必要だ が、それ以外は不要 Making the RBS Parser Faster @soutaro ★ RBSパーサー高速化の背景として、Steep付きRubyのAI実装はコストが高い という検証結果に触れる　
8. セッションでの AIに関する話 Practical TypeProf: Lessons from Analyzing Optcarrot @mametter ★ Rubyは型宣言がなくてもAIと上手く連携できる ★ TypeProfの主目的であるエディタのサポートはその意義を失った ★ とはいえ、TypeProfはRubyコードを変更しないのでAIの速度を落とすことはな い ★ MCPサーバーとしてTypeProfがAIエージェントの型推論を支援する可能性は あるが、今のところ人間のために改良を続ける ★ 型注釈なしの推論はこれまで以上に重要になるかも
9. セッションでの AIに関する話 Good Enough Types: Heuristic Type Inference for Ruby @Shia ★ AIとの関連性について特段触れられてはないが、型注釈・型定義を書かないと いう方針はAI時代の動向と一致する 型要るのか、要らないのかどっちなんだ...
10. AIとRubyの型システム
12. ★ AIがソースコードを書くようになった ★ IDE支援のニーズが今後は減っていくだろう ★ AIは非決定的に動く以上、静的型付けによる保証は今後とも必要 ★ Steep付きのRubyはAIの利用コストが高くつく ★ AIの利便性を考えると静的型付けに関するソースコードを減らしたい ★ 型注釈及び型定義のニーズ減 ★ 相対的に型推論のニーズ増 Rubyの静的型付けにおける AIの影響
14. 型推論に期待