Ruby 3 の静的解析ツール TypeProf の使い方 - クックパッド開発者ブログ

こんにちは、フルタイムRubyコミッタとして働いてる遠藤（@mametter）です。昨日、Ruby 3.0.0-preview2がリリースされました！ このリリースには、遠藤が開発している Ruby の静的型解析ツール TypeProf が初めて同梱されています。これの使い方をかんたんにご紹介したいと思います。 デモ TypeProf は、型注釈のない Ruby コードを無理やり型解析するツールです。とりあえずデモ。 # user.rb class User def initialize(name:, age:) @name = name @age = age end attr_reader :name, :age end User.new(name: "John", age: 20) typeprof コマンドは、Ruby 2.7 で gem install typeprof でインスト

[t-murachi]

TypeProfがダックタイプをジェネリクスとして解決できるようになるならこれは大した発明になる。メンバの内容を制約と解釈してtraitとしてグループ化、そこから外れる記述をエラーとして検出できれば…

[sh19e]

“TypeProfは、型注釈のないRubyコードを無理やり型解析するツール””現状の完成度としては、Rubyパッケージに含まれるすべての .rb ファイルで解析が通る（理不尽に例外終了しない）ことを確認できた程度です”

[kamocyc]

“TypeProf は「型注釈を書かない選択肢を Ruby に残す」ということを至上命題とした極端な設計になっている” なるほど。。。それでSorbetとかは使わないということ

[mizchi]

型注釈無いコードを無理やり推論するの、参考になるのがないのが大変といってるけど facebook/flow が結構そんな感じに動く気がする

[gabuchan]

型だーーー！！！

[Nyoho]

「型注釈のない Ruby コードを無理やり型解析するツール」すごい。