An introduction to typed Ruby programming

on YouTube ↗53m

" summary

Ruby 3 adds optional static typing via RBS signature files and a spectrum of tools: a level‑1 type profiler that generates signatures and level‑2 checkers that require annotations. The Steep gem implements structural subtyping, uses comment annotations so runtime behavior stays unchanged, and performs flow‑sensitive checks and union/case‑exhaustiveness verification to catch real errors (wrong keyword args, wrong return types, accidental nil/new cases). Steep is usable now, actively migrating to RBS and adding IDE (LSP) support, but it does not perform runtime checks for metaprogrammed code.

AI-written summary · about

" chapters (8)

1. 0:00Introduction and speaker intro
2. 3:49Type checking plan for Ruby 3
3. 10:04Ruby type checking foundation
4. 20:40Type checker options and recommendations
5. 21:05Introducing Steep type checker
6. 29:52Benefits of type checking
7. 45:17Summary and closing remarks
8. 46:28Q&A session

" related talks

• 36mAn introduction to typed Ruby programmingSoutaro Matsumoto · Balkan Ruby 2019
• 32mThe State of Ruby 3 TypingSoutaro Matsumoto · RubyConf 2020
• 37mChecking Your Types: An Overview of Ruby's Type SystemSabrina Gannon · rubyday 2021
• 39mType Checking Ruby Programs with AnnotationsSoutaro Matsumoto · RubyKaigi 2017
• 21mConsider Static TypingTom Stuart · RubyConf AU 2015
• 37mTypes and Ruby Programming LanguageSoutaro Matsumoto · RubyConf 2017
• 36mA Static Type Analyzer of Untyped Ruby Code for Ruby 3Yusuke Endoh · RubyConf 2019
• 22mEnjoy Ruby Programming in IDE and TypeProfYusuke Endoh · RubyConf 2021