An introduction to typed Ruby programming

on YouTube ↗36m

" summary

Ruby 3 will provide a separate signature language plus shipped standard-library signatures and a gem-signature protocol, while no one standard typechecker or new core syntax is included. A static checker called steep v0.11 runs as a gem using comment annotations, detects real errors like keyword vs positional argument mismatches and method-body type mismatches, supports duck-typing via interfaces, is metaprogramming-agnostic and has no runtime dependency. Development includes a signatures library (rb2b-signatures) and level 0/1/2 type-checking modes.

AI-written summary · about

" chapters (6)

1. 0:00Introduction and speaker intro
2. 3:36Ruby 3 type checker plans
3. 17:54Introducing steep type checker
4. 22:00Duck typing and metaprogramming support
5. 28:55Progress and next steps for type checkers
6. 34:22Call for feedback and testing

" related talks

• 53mAn introduction to typed Ruby programmingSoutaro Matsumoto · GrillRB 2019
• 32mThe State of Ruby 3 TypingSoutaro Matsumoto · RubyConf 2020
• 39mType Checking Ruby Programs with AnnotationsSoutaro Matsumoto · RubyKaigi 2017
• 37mChecking Your Types: An Overview of Ruby's Type SystemSabrina Gannon · rubyday 2021
• 37mTypes and Ruby Programming LanguageSoutaro Matsumoto · RubyConf 2017
• 47mKeynote: Beyond Ruby3.0yukihiro Matsumoto 'Matz' · RubyConf 2021
• 21mConsider Static TypingTom Stuart · RubyConf AU 2015
• 43mType Checking RubyJeffrey Foster · Strange Loop 2017