Type Checking Ruby Programs with Annotations

on YouTube ↗39m

" summary

Type inference for real Ruby programs proves infeasible without help so the solution implemented is a gradual static checker called Steep available on GitHub and as a gem that combines local type inference with structural subtyping and a separate signature language for libraries and monkey patches. It requires explicit signatures for many core classes, reduces annotations for locals, and accepts tradeoffs (cannot fully infer polymorphic builtins). The tool type checks annotated code and works in practice but needs community-written signatures to scale.

AI-written summary · about

" chapters (9)

1. 0:00Introduction
2. 3:21Why type check Ruby
3. 6:17Past type checking attempts
4. 13:16Limitations of current approaches
5. 16:16Relaxing type checking requirements
6. 18:03Runtime type checking
7. 21:03Introducing Steep
8. 31:54Steep's type system
9. 32:47Q&A

" related talks

• 53mAn introduction to typed Ruby programmingSoutaro Matsumoto · GrillRB 2019
• 36mAn introduction to typed Ruby programmingSoutaro Matsumoto · Balkan Ruby 2019
• 37mChecking Your Types: An Overview of Ruby's Type SystemSabrina Gannon · rubyday 2021
• 37mTypes and Ruby Programming LanguageSoutaro Matsumoto · RubyConf 2017
• 43mType Checking RubyJeffrey Foster · Strange Loop 2017
• 36mA Static Type Analyzer of Untyped Ruby Code for Ruby 3Yusuke Endoh · RubyConf 2019
• 32mThe State of Ruby 3 TypingSoutaro Matsumoto · RubyConf 2020
• 39mGradual typing of Ruby at ScaleDmitry Petrashko, Paul Tarjan · Strange Loop 2018