Consider Static Typing
summary
Matz proposes adding a static type system to Ruby 3.0 and the talk unpacks three concrete ideas: structural typing, implicit typing, and soft typing. Examples show types as sets of methods, inferred rather than manually annotated, and the soft-typing paper is evaluated and found mismatched to Ruby’s dynamic features. The conclusion is practical: integrate structural inference with Ruby’s open classes is hard, soft typing doesn’t guarantee safety, and serious research and prototypes are required.
AI-written summary · about
chapters (4)
related talks
31mKnow Your Types - Bringing Static Types to Dynamic Languages
53mAn introduction to typed Ruby programming
56mOpening keynote by Matz: MythBuster
32mThe State of Ruby 3 Typing
36mAn introduction to typed Ruby programming
53mKeynote: Ruby Typing
37mChecking Your Types: An Overview of Ruby's Type System
42mTypes As Premature Optimization