Checking Your Types: An Overview of Ruby's Type System
summary
Covers concrete Ruby 3 tooling: RBS type files, the experimental typeprof (including its web demo), and type checkers like Steep and Sorbet. Shows a paid‑method example where adding an installments option breaks code until union types and Steep checks catch the missing branch, and an addressable gem example where RBS reveals a possible nil hash that would raise NoMethodError. Demonstrates RBI→RBS translation, running steep check, and when gradual typing reduces runtime errors.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 2:34Type systems
- 7:58Ruby's type system
- 10:04Adding types to Ruby
- 11:06Ruby 3 static types
- 13:11RBS files
- 14:35Ruby type checkers
- 15:44Preventing method errors
- 19:59Reducing gem errors
- 23:10Type checking benefits
- 24:57Q&A
related talks
53mAn introduction to typed Ruby programming
32mThe State of Ruby 3 Typing
37mTypes and Ruby Programming Language
43mType Checking Ruby
39mType Checking Ruby Programs with Annotations
36mAn introduction to typed Ruby programming
22mStatic typing with RBS in Ruby
29mRoasting the Duck - A talk about Ruby and types