フルタイムRubyコミッター・松本宗太郎さんによる、Ruby向けの型検査器Steepとその基盤となっている型記述言語RBSについての解説。動的型付けの言語のための型検査の歴史を簡単に振り返りつつ、今後の展望について議論します。