rbs-dynamic
RBS型定義を実行時に生成するツール
型の恩恵を受けたいが型は書きたくないというモチベーション
機能の構想
Railsでリクエストを受けてからレスポンスを返すまでの間に呼び出されたメソッドの型を自動生成
CIでテストを実行して型を自動生成
interface型にも対応している
RBSには定義箇所の情報がないが、コメントにsource locationを埋め込む
呼び出している箇所もコメントに埋め込む
TracePointを使っており、実行時の副作用がある
漸進的型付けにおける型生成のデメリット
動くコードが先にあるので、意図しない呼び出しがあった場合もそれが正になってしまう
RubyKaigi 2022で発表された
https://www.youtube.com/watch?v=BP7UACeJpJk