型を書かないRuby開発への挑戦

「型を書かなくても十分有用な型情報を得られる」を目標に開発中の LSP「type-guessr」について話します。
完全さを諦めることでいい感じの体験を目指します。

Transcript

1. 福岡Rubyist会議05 Shia@STORES 型を書かないRuby開発への挑戦
2. SIM SANGYONG (@shia) - STORES株式会社 - GitHub: @riseshia - X: @riseshia 自己紹介 2
3. 質問です 3 Rubyで型を書きたいですか？
4. お気持ち 4 型を書きたくない！！
5. 正確なお気持ち 5 Ruby では型を書きたくない！！
6. そしてただのワガママ 6 Ruby では型を書きたくない！！ でも型情報はちょっとほしい
7. Ruby 型マップ 7 型宣言依存度 Steep / Sorbet Ruby LSP Guessed type typeprof solargraph 提供される情報の品質
8. Ruby 型マップ 8 型宣言依存度 Steep / Sorbet Ruby LSP Guessed type typeprof solargraph 型宣言が前提。方向が違う 提供される情報の品質
9. Ruby 型マップ 9 型宣言依存度 Steep / Sorbet Ruby LSP Guessed type typeprof solargraph 丁寧な推論 大規模アプリだと少々重い gem は rbs 書いてね 提供される情報の品質
10. Ruby 型マップ 10 型宣言依存度 Ruby LSP Guessed type typeprof solargraph 欲しいアプローチは近いが Hash/Array が情報不足 あと ruby-lsp と機能重複... Steep / Sorbet 提供される情報の品質
11. Ruby 型マップ 11 型宣言依存度 Ruby LSP Guessed type typeprof solargraph 変数名ベースの単純推測のみ 提供される情報の品質 Steep / Sorbet
12. Ruby 型マップ 12 型宣言依存度 Ruby LSP Guessed type typeprof solargraph この辺の何かがほしい 提供される情報の品質 Steep / Sorbet
13. 推論の精度を落とし 自分が書く型の必要性を減らす・速度を得る 欲しいもの 13
14. - 推論された型が複雑なら untyped に - A or B or C or D… -> untyped でいいでしょう！ - Hash / Array に Structural Typing サポート - ヒューリスティックに依存する どうやって？ 14
15. Structural Typing - Hash 15
16. Structural Typing - Array 16
17. Duck Typing を信じる 17 通常の Duck Typing: 「これらのメソッドに応答できるなら、OK」 🦆 quack できるなら → アヒル type-guessr: 「これらのメソッドが呼ばれたなら、このクラスのはず」 🦆 quack が呼ばれた → きっとアヒル
18. Duck Typing を信じる 18
19. Duck Typing を信じる 19
20. Duck Typing を信じる 20
21. 対象: LOC 100k 以上の Rails プロジェクト三つ 変数に送ったメソッド一覧から、変数(レシーバ)の型がわかる比率 => 10~20% Duck Typing を信じる - そんな〜うまくいくんですか？ 21
22. Duck Typing を信じる in type-guessr 22
23. - ruby-lsp の UX にそのまま溶け込める - 適切に実装すれば hover, autocompletion, 定義ジャンプが「型 がわかれば」自動で効く - ruby-lsp-rails, ruby-lsp-mongoid 等が ruby-lsp に登録する DSL 由来のメソッド一覧をそのまま活用できる - Duck typing ヒューリスティックではめっちゃ大事 設計 - Impl as ruby-lsp add on 23
24. 設計 - How to infer - Duck typing によるクラス推定を頑張る - 自明なものを頑張る(e.g. Hoge.new) - あとは型情報を使って伝播していく - 型推論の結果が一定以上複雑になったら精度を落とす 24
25. - 十分小さいアプリでは価値が出にくい (メソッド名の一意性に依存) - ActiveRecord とかが大変扱いづらい... - 速度が遅い問題 - ruby-lsp のインデッシングを待つ必要がある - 推論が重い - Diagnostic 出しづらい問題 - ヒューリスティックを混ぜたことでどう出すべきかという悩み Limitation 25
26. 今色々いじりまくっており unstable ですが どうぞお試しください （そしてフィードバックがあると喜びます） bundle add type-gusser -g=’development’ https://github.com/riseshia/type-guessr 最後に 26