Rubyコミュニティにおいても型システムの導入というのは近年ホットな話題になっています。しかし、実際に型システムを導入するには至っていないチームも多いのではないでしょうか。
本発表では、ミッションクリティカルなものを含む複数のRailsアプリケーションに型チェッカーであるSorbetを導入し、1年以上運用して得られた知見を共有します。
実際にSorbetをRailsアプリケーションに導入するためのツールや具体的な手順、それにあたっての注意点などを紹介し、参加者が実際のアプリケーションに型システムを導入することができる状態を目指します。また、型システムをより活かしたRailsアプリケーションの設計・実装について、代数的データ型やその一種であるResult型などとともにRailsでの実例を交え紹介します。