Know Your Types - Bringing Static Types to Dynamic Languages

on YouTube ↗31m

" summary

Explains how ideas from Haskell-style static type systems and papers like Pierce’s Types and Programming Languages and Wadler’s Propositions as Types can illuminate adding static typing to Ruby. Describes and analyzes two University of Maryland experimental projects (a static type checker and a type inferencer for Ruby) to show concrete ways static types might be integrated into a dynamic language and what trade-offs that would entail.

AI-written summary · about

" chapters (14)

1. 0:00Start
2. 2:28Benton, 2014
3. 2:56Cardelli, 1996
4. 3:29Computer Science Skill vs. Homepage Design Outdatedness
5. 4:33Type Rule
6. 5:22Type System
7. 6:15Statically
8. 8:40Typechecking
9. 9:24Type Inference
10. 10:47Wadler, 2014
11. 17:02Pierce, 2002
12. 21:50Bonnaire-Sergeant, 2012
13. 23:05Tobin-Hochstadt, 2010
14. 28:33Sagonas, 2005

" related talks

• 21mConsider Static TypingTom Stuart · RubyConf AU 2015
• 53mAn introduction to typed Ruby programmingSoutaro Matsumoto · GrillRB 2019
• 36mThe Superpowers of TypesXavier Detant · Best of Web 2019
• 25mA Dangerous Game: Safety in RubyRyan Levick · Barcelona Ruby Conference 2014
• 37mChecking Your Types: An Overview of Ruby's Type SystemSabrina Gannon · rubyday 2021
• 42mTypes As Premature OptimizationBrian Shirai · Barcelona Ruby Conference 2014
• 49mThe Trouble With TypesMartin Odersky · Strange Loop 2013
• 37mTypes and Ruby Programming LanguageSoutaro Matsumoto · RubyConf 2017