Ruby 3の静的解析機能のRBS、TypeProf、Steep、Sorbetの関係についてのノート - クックパッド開発者ブログ

こんにちは、フルタイムRubyコミッタとして働いてる遠藤（@mametter）です。 Ruby 3 は「静的型解析」を備えることが目標の 1 つになっています。遠藤が開発してる TypeProf は Ruby 3 の静的型解析エコシステムの中の 1 ツールです。しかし Ruby 3 の静的解析というと、RBS、TypeProf、Steep、Sorbet などいろいろなツール名が出てきてよくわからない、という声を何回か聞いたので、かんたんにまとめておきます。 3 行まとめ RBS：Ruby の型情報を扱う言語。Ruby 3 にバンドルされる。 TypeProf：型注釈のない Ruby コードを型解析するツール。Ruby 3 にバンドルされる。 Steep/Sorbet：Ruby で静的型付けのプログラミングができるツール。 詳しくはそれぞれ以下で解説します。 RBS とは RBS は、Rub

[sh19e]

LSP を実装している Steepは、エディタ上で型エラー、補完、ドキュメント表示可能。C++ で解析器が書かれている Sorbet は解析速度重視。型注釈のない Ruby コードを型解析する TypeProf は将来の期待とともに Ruby 3 にバンドル