Ruby の型に関する活動をやっている話 / Activities related to Ruby types

RubyKaigi 2024 Wrap Party での発表スライドです。
https://connpass.com/event/318501/

資料に登場したURL

TypeProf に投げた patch
- Initial support lambda node #173
https://github.com/ruby/typeprof/pull/173
- Add singleton class to known-issues #181
https://github.com/ruby/typeprof/pull/181
- Support keyword arguments support partially #182
https://github.com/ruby/typeprof/pull/182

個人的な TypeProf 名所 ScenarioCompiler クラス
https://github.com/ruby/typeprof/blob/master/test/scenario_compiler.rb

Ruby の静的型チェック × ISUCON という夢 - カレーの恩返し
https://euglena1215.hatenablog.jp/entry/2024/05/27/205728

ISUCON13 で rbs-inline 使ってみた - カレーの恩返し
https://euglena1215.hatenablog.jp/entry/2024/05/28/092019

rbs_inline_data gem
https://github.com/euglena1215/rbs_inline_data

Transcript

1. 2024/06/18　RubyKaigi 2024 Wrap Party 株式会社タイミー　新谷哲平 Ruby の型に関する活動をやっている話 @euglena1215
2. 自己紹介 Shintani Teppei（@euglena1215） • 株式会社タイミー • バックエンド テックリード ◦ 2024/04/01~ New! • 日傘を使うようになってから 直射日光で疲れてたんだと気付きました
5. 自慢をします RubyKaigi から Ruby の型に関する活動をちょこちょことやっています。 この発表では拍手 👏 を要求するタイミングが何回かあります。空気を読んで拍 手してください！ 時間の都合上かなり端折った説明になると思います。ご了承ください 🙏
6. RubyKaigi おつかれさまでした！
7. RubyKaigi 楽しかったですね
8. 全世界で開催されるカンファレンス・イベントが対象 通常業務を気にせず集中して「本気で学んで来て欲しい」ため、参加時間は業務扱い（今回だと沖縄出張） 補助範囲 • チケット費 • 交通費 • 宿泊費 支援条件 社内や技術コミュニティへ学びを還元することを目的として 参加後、社外に対するレポート（TechBlog or 登壇等）の発信 【宣伝】KaigiPass（カンファレンス参加支援） タイミー、世界中で開催されているすべての技術カンファレンスに無制限で参加できる「Kaigi Pass」を提供開始。 https://productpr.timee.co.jp/n/nab1445b25f92
9. RubyKaigi から持ち帰ったもの
10. RubyKaigi に参加された方は色々と持ち帰った ものがあるんじゃないかと思います
11. 自分が RubyKaigi から持ち帰ったのは 型による開発体験向上へのワクワク感
12. 型周りについて何かしてみよう！
13. まず興味を持ったのは TypeProf
14. まず興味を持ったのは TypeProf
15. まず興味を持ったのは TypeProf
16. 自慢① mame さんの発表があった当日に TypeProf にパッチを投げる 👏
17. • Initial support lambda node #173 • Add singleton class to known-issues #181 • Support keyword arguments support partially #182 合計3つのPRを出して取り込んでもらえた
18. が、正直これ以上コード読んでも全体像を 理解できるイメージが持てずこの辺で離脱...
19. 【余談】個人的な TypeProf 名所は ScenarioCompiler クラス https://github.com/ruby/typeprof/blob/master/test/sc enario_compiler.rb
20. 【余談】個人的な TypeProf 名所は ScenarioCompiler クラス https://github.com/ruby/typeprof/blob/master/test/sc enario_compiler.rb
21. 【寄り道】個人的な TypeProf 名所は ScenarioCompiler クラス https://github.com/ruby/typeprof/blob/master/test/sc enario_compiler.rb
22. というわけで別のことをすることに
23. 次に興味を持ったのは ISUCON
24. ISUCON?
25. 制限時間がシビア / テストがない / 慣れないライブラリを使う という特殊な環境である ISUCON では 型による開発生産性の恩恵を受けることが できるのでは？ ref. Ruby の静的型チェック × ISUCON という夢 - カレーの恩返し
26. ISUCON13 Ruby 初期実装に対して rbs-inline を使って型を書いていくことに
27. 自慢② rbs-inline の利用例を インターネットに公開した 👏 ISUCON13 で rbs-inline 使ってみた - カレーの恩返し https://github.com/euglena1215/isucon13-rbs/compar e/3bb0e7c..main?diff=unified&w=
28. まだまだ gem_rbs_collection は黎明期... ライブラリの型がないことが多い...
29. 自慢③ ISUCON13 で必要な gem に型をつけた 👏 sinatra / sinatra-contrib /mysql2 / mysql2-cs-bind / bcrypt sinatra / sinatra-contrib gem はそんな詳しくないけど 重要な gem なので reviewer になってみた
30. ISUCON13 は一通り型がつけられるように
31. 次に ISUCON12 予選の型付けをしてみる
32. 型をつけていて思うこと
33. Data.define / Struct.new の 型付け面倒すぎないか...？
34. Data.define / Struct.new の 型付け面倒すぎないか...？
35. rbs-inline はメタプロをサポートしていないので これらは守備範囲外。 だが毎回手書きするのは結構しんどい...
36. 自慢④ Data.define から RBS を自動生成する ツールを自作した 👏 https://github.com/euglena1215/rbs_inline_data
37. 自慢④ Data.define から RBS を自動生成する ツールを自作する https://github.com/euglena1215/rbs_inline_ data
38. • かなり荒削りなので色々と改善の余地がある • Struct.new の型の自動生成も欲しいので しれっと追加したい
39. 2024/06/18　RubyKaigi 2024 Wrap Party 株式会社タイミー　新谷哲平 Ruby の型に関する活動をやっている話 @euglena1215