The State of Ruby 3 Typing
summary
Ruby 3 does not ship a static type checker but adds the RBS language and an rbs gem to supply type signatures for the standard library and gems; multiple checkers interoperate with RBS (Steep reads RBS as primary, Sorbet keeps RBI but may accept RBS subset, RDL is research, and TypeProf is bundled to infer signatures automatically). RBS supports generics, unions, optional, interface and untyped types; gems can include sig/ directories or use the community ruby/rbs repo for versioned signatures.
AI-written summary · about
chapters (9)
- 0:00Introduction and welcome
- 1:14Ruby 3 typing ecosystem
- 5:39Static type checking basics
- 8:43Introduction to RBS
- 12:35Advanced RBS features
- 17:26RBS file organization
- 21:41Why separate type files
- 24:31RBS for Ruby gems
- 28:58Tooling and conclusion
related talks
53mAn introduction to typed Ruby programming
36mAn introduction to typed Ruby programming
37mChecking Your Types: An Overview of Ruby's Type System
22mStatic typing with RBS in Ruby
24mType Checking with Sorbet
37mTypes and Ruby Programming Language
43mType Checking Ruby
36mA Static Type Analyzer of Untyped Ruby Code for Ruby 3