TypeProf
Ruby 3
における静的型解析の一角
https://github.com/ruby/typeprof
以前は
Ruby Type Profiler
という名前だった
できること
型シグネチャ無しでの型検査と、型シグネチャのプロトタイプの生成
型検査によって型エラーの可能性を教えてくれる
生成されるのは
RBS
使うときの流れ
型シグネチャ無しの状態で検査して、変なところとか難しいところについて部分的にRBSを書いてあげて、また検査する、みたいなイメージらしい
どれくらい書いたら
Sorbet
とか使うように切り替えるのがいいんだろう
zakuni.icon
ruby-type-profilerとRBS試してみた
参考:
https://www.slideshare.net/mametter/ruby-3-149141725
https://www.slideshare.net/mametter/type-profiler-ambitious-type-inference-for-ruby-3-238384550
https://github.com/mame/ruby-type-profiler/blob/master/doc/doc.ja.md