Type Checking with Sorbet
summary
Gradual type checker for Ruby that lets teams add annotations file‑by‑file and run checks with the srb CLI; runtime assertions come from the sorbet-runtime gem so method signatures actually enforce non‑nil and return types during execution. Demo shows T.must, T.let, typed true/false/ignore and generation of .rbi signatures; Rails/gem support is still incomplete but small apps and critical modules (background jobs, payroll) gain fewer runtime argument checks and clearer failures when types mismatch.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:48What is Sorbet
- 3:58Ruby 3 and Sorbet
- 5:46Demo setup
- 6:07Type annotations in Sorbet
- 11:15Variable type checks
- 13:01T.nilable and type safety
- 15:50Class method signatures
- 19:55Q&A
related talks
31mStatic Type Checking in Rails with Sorbet
41mSorbet: A type checker for Ruby 3 you can use today!
22mStatic typing with RBS in Ruby
32mThe State of Ruby 3 Typing
30mIntroducing Sorbet into your Ruby codebase
30mSorbet at Grailed: Typing a Large Rails Codebase to Ship with...
33mAdopting Sorbet at Scale
42mStatic Typo Checker in Ruby