Gradual Typing in Ruby - A Three Year...
summary
Shopify reports three years of gradual typing with Sorbet over ~40,000 Ruby files, Sorbet parsing the tree in ~25 seconds and roughly 39,000 files marked typed true (about 8% left type false) across ~880 projects. Team builds and open sources tools: Tapioca generates RBI for gems and runtime metaprogramming, Spoon and Sorbet Metrics track strictness and CI bumping, CI enforces RBI sync and prevents files staying typed: ignore so the approach scales, runtime checks off in production.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 0:41Gradual Typing
- 4:42Why Gradual Typing
- 12:51Survey Matrix
- 18:24Type Ignore
- 20:01Synchronization
- 24:17Accelerator
- 26:51Ramp up gently
- 27:37Questions
related talks
48mGradual typing for Ruby at Scale with Sorbet
39mGradual typing of Ruby at Scale
31mStatic Type Checking in Rails with Sorbet
41mSorbet: A type checker for Ruby 3 you can use today!
33mAdopting Sorbet at Scale
30mIntroducing Sorbet into your Ruby codebase
45mSoftly, softly typing
27mGradual Typing in Practice