Gradual Typing in Practice
summary
Concrete claims and mechanics: Pyre finds real incompatible returns as types are added, Instagram moves files into strict mode to prevent regressions, and automation like monkeytype plus Pyre inference applies annotations in small PRs. Progress measures are specific: a dashboard tracks coverage and goals such as 50% return annotations by a date, and a suppression workflow uses temporary type ignore comments plus a pyre-upgrade style tool to bootstrap then remove ignores.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 2:28Outline
- 3:03Gradual Typing
- 6:06Type Checkers
- 6:58Why Use Types
- 15:44Strict Mode
- 19:04Setting Goals
- 20:07Prior Statistics
- 21:17Automatic Type Coverage
- 22:20Code Patterns
- 24:09Types in Python
related talks
03h 38mPython Types for Fun and Profit
28mMind the gap! Why static typing requires more than just adding annotations
28mGradual Typing in Python
23mGradual Typing in Python
30mTyping at scale: statically type-checking a large codebase
57mWhy You Should Care About Types
30mClearer Code at Scale: Static Types at Zulip and Dropbox
32mGradual Typing in Ruby - A Three Year...