Static typing with RBS in Ruby
summary
Compares Sorbet and RBS by actually annotating a real gem (discord_rb) and running a type checker rather than speculating about types. Demonstrates three RBS generation modes and their gaps — RB RBI runtime — and shows RBS provides signatures while steep performs the checks. Runs steep against discord_rb and reports mixed coverage with some files ~100% and many ~40–60%, notes Sorbet’s inline sigs and RoboCop CI support and discusses converting Sorbet annotations to RBS.
AI-written summary · about
chapters (6)
related talks
32mThe State of Ruby 3 Typing
24mType Checking with Sorbet
37mChecking Your Types: An Overview of Ruby's Type System
31mStatic Type Checking in Rails with Sorbet
53mAn introduction to typed Ruby programming
30mIntroducing Sorbet into your Ruby codebase
48mGradual typing for Ruby at Scale with Sorbet
41mSorbet: A type checker for Ruby 3 you can use today!