Refraction of Reality: Dynamic Validation with Static Types
summary
Talk explains how to reuse TypeScript and Flow static types at runtime to validate JSON, generate runtime checks and support property-based testing. It describes the concept of type-directed emit, compares it to other reflection and code-generation techniques, examines API transpiler specifics, and outlines pitfalls of this approach.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 3:41JSON validation problems
- 17:14Custom transformers
- 19:24Tarot for transformers
- 30:47Validator generation
- 34:18Custom validators
- 43:14Debugging limits
- 47:07Other code generation
- 50:37Q&A
- 1:07:54Summary
related talks
42mStatic Type Checking with FlowType
28mPractical Confidence: Using Types to Help Your Computer Help You
25mWhy static types in Javascript? — Preethi Kasireddy
23mFlow or how I learned to stop worrying and typecheck my React code
27mA Story About Types and JavaScript
58mFlow - Am I Your Type?
32mStatic typing with Flow and TypeScript
27mMatthew Gerstman - TypeScript: Seeing Past the Hype