The Road to a Statically Typed Future
summary
Claims concrete wins: Flow finds runtime-null bugs in React Native and cuts crashes in a Runtastic feature, while ReasonML (OCaml type inference) plus BuckleScript compiles idiomatic ML to JavaScript and produces working React bundles and single executables. Tooling includes flow-runtime and flow-typed, PS-loader and reformat, and a tree-adjacent converter that converts ~70% of JS to Reason. Notable metrics: Flow moves from v0.15 to v0.46 in ~20 releases and Facebook runs ~20% of Messenger on Reason.
AI-written summary · about
chapters (12)
- 0:00Journey to typed JavaScript
- 3:09What is a type system
- 8:11Flow vs TypeScript inference
- 12:30Trust killers in types
- 16:46Fortress with typed apps
- 20:27Validating server and libraries
- 27:09JavaScript too almighty for typing
- 31:43ReasonML introduction
- 36:00Live demo: ReasonML counter
- 44:43ReasonML features
- 52:45Key takeaways
- 53:40Q&A: ReasonML production
