A Deepdive Into Flow
summary
Flow is a static type checker for JavaScript used at Facebook that parses files, builds a flow graph (inference phase), then evaluates constraints to produce real errors; it models open types, get-prop/lookup semantics, prototype lookup and a mixed top type so typos like lengtha become precise type errors. Modules are analyzed in parallel with a worker pool using opens at boundaries. Prototypes, taint analysis prototype and dead‑code detection/tree‑shaking are implemented and shown to work on real code.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 1:55Parse
- 2:45Inference
- 3:28Scope
- 6:20String
- 7:30Flow constraint
- 10:38Syntax tree
- 12:24Property access
- 12:55Flow graph
- 21:01Flow in real life
related talks
58mFlow - Am I Your Type?
17mThis will flow your mind
42mStatic Type Checking with FlowType
35mTrying Flow in Combat
30mFlow typing: your path from experiments to final implementation in an enterprise project
06mEmpowering your React application with types using flow
16mAll aboard the type train
58mThe Road to a Statically Typed Future