DoD x RBS

omotesando.rb#110 のスポンサーLT登壇資料
https://omotesandorb.connpass.com/event/355862/

Transcript

1. 2025/06/05【オフライン開催】Omotesando.rb #110 株式会社タイミー 神山大智 DoD x RBS スポンサーLT @_dak2_
2. 自己紹介 Daichi Kamiyama (@dak2) • 株式会社タイミー(2024年6月入社) • バックエンドエンジニア ◦ 働き手であるワーカーと事業者の出会いを最適化しスケール させるための改善や機能開発を行なっています ◦ 最近は Devin に対して丁寧にお伺いすることを生業にしてい る
3. 自己紹介 色々あるんですが、 Devin とは仲良くさせて いただいてます
4. 目次 • 会場案内 • 会社紹介 • はじめに - 当時の型付け状況 • 型付け、どこから始める？ - 最初の壁 • 私たちの戦略: DoD + RBS = 小さな一歩 • 「差分への型付け」がもたらすもの • まとめ
5. 1 会場案内
6. • Wifi ◦ SSID：Timee Guest ◦ Pass：guestguest • 注意点 ◦ オープンスペースを出る際は、運営またはタイミー社員に お声がけください。 （セキュリティがかかっているため） 始まる前に
7. 始まる前に トイレ エレベータ
8. 始まる前に エレベータ 喫煙室 ※電子タバコ専用 紙タバコは地下２Fの喫 煙室を利用してください
9. 2 会社紹介
11. 型付けの次は型検査
12. 12 12
13. 提供しているインターフェース 対象 プラットフォーム iOS/Android ワーカー クライアント （店舗） クライアント （企業） 社内全般 ActiveAdmin SPA SPA Web taimee-rails-api
14. 提供しているインターフェース 対象 プラットフォーム iOS/Android ワーカー クライアント （店舗） クライアント （企業） 社内全般 ActiveAdmin SPA SPA Web 裏側は(ほぼ)全て モノリスRailsで動いている
15. カジュアル面談はこちらから！
16. 3 型付けの話
17. 目次 • 会場案内 • 会社紹介 • 当時の型付け状況 <= イマココ • 型付け、どこから始める？ • チーム戦略: DoD + RBS = 小さな一歩 • 「差分への型付け」がもたらすもの • 型付けの次は型検査 • まとめ
18. 初めに結論 DoD(Definition of Done) ✖ RBS
19. 当時の型付けの状況
20. • 2024年7-8月 ◦ YARD から rbs-inline に書き換え ▪ それまでは混在していた • 2024年8月 ◦ 型アノテーションを書くなら rbs-inline が Must 当時の型付けの状況
21. 当時の型付けの状況 rbs-inline を本格的に書いていくぞ！という立ち 上げ段階
22. 型付け、どこから始める？
23. 型付け、どこから始める？ rbs-inline を本格的に書いていくぞ！ …とは言ったものの • 既存の巨大なコードベース: どこから手をつければ？ • 途方もない作業量: 心が折れそう... • 効果が遅効性: すぐに型検査の恩恵を受けられるわけではない
24. チーム戦略: DoD + RBS = 小さな一歩
25. チーム戦略: DoD + RBS = 小さな一歩 Definition of Done (DoD) とは？ 完成の定義とは、プロダクトの品質基準を満たすインクリメントの 状態を示した正式な記述である。 プロダクトバックログアイテムが完成の定義を満たしたときにイン クリメントが誕生する。 ref. https://scrumguide-ja.kdmsnr.com/#komittomentono
26. チーム戦略: DoD + RBS = 小さな一歩 https://tech.timee.co.jp/entry/ 2024/08/05/110000
27. チーム戦略: DoD + RBS = 小さな一歩 Done の定義としてチームでは 変更差分に対しては、必ず rbs-inline を書くように ✅ ＊プロダクト全体の型定義はスプリント内で チェックするには現実的に無理なので、これ自 体はUndone とし、変更差分に対して守るよう にしています
28. チーム戦略: DoD + RBS = 小さな一歩 • 補足 ◦ sinsoku さんが RubyKaigi で発表されていた rbs-trace もうまく活 用できそうだなと思ってます ▪ https://github.com/sinsoku/rbs-trace
29. 「差分への型付け」がもたらすもの
30. 「差分への型付け」がもたらすもの • 心理的ハードルの低減 ◦ 対象範囲がスプリント内の変更に限定されるため、 manageable。 ◦ 「これくらいならやれそう」という気持ちに。 • 習慣化の促進 ◦ スプリントごとに必ず型に触れる機会ができる。 ◦ 「型を書く」ことが当たり前の文化へ。 • 漸進的な導入 ◦ 少しずつ型のあるコードが増えていく。 ◦ チーム全体で型への意識が自然と高まる ◦ 特に差分だけレビュー時に確認するので、実装との整合性を意識した型付けが可能 ▪ 一気に型付けすると、適切でない型付けをスルーしちゃいがち
31. 「差分への型付け」がもたらすもの • シンプルな戻り値をシンプルに保つ力学が働く ◦ 複雑な型を返そうとしているときはメソッドの設計がおかしい ◦ 自然とメソッドの戻り値をシンプルに保とうとする力学が働く ◦ “型”を媒介にして、設計に対するFBがかかりやすくなる印象がある
32. 型付けの次は型検査 • 型検査の実行 ◦ 型付けするだけではあまりメリットがなくて、型検査をしてちゃんとしたメリット が享受できる ◦ 最近全てのパッケージが型検査対象になりました🎉 ▪ ただ、`steep:ignore` で型検査を無視している箇所もあったりするので、 そこの対応は必要 ◦ 整合性のある型付けができているかの確認 ▪ これは一気にやろうとするのではなく、エンカウントした時に対応していく 方が現実的かもしれない
33. まとめ
34. まとめ • DoD ✖ RBS は現実的な型付け戦略 • 差分に対して RBSを書くことでコードへ FBをか けやすい