Static Typing: Which language to choose?
summary
Company evaluates PureScript, TypeScript, ReasonML and Elm for Hasura Console, backs actual migration plan and tooling (bs-platform, spago, webpack loaders, Babel) rather than vague pros/cons, measures progress with TypeScript chosen for gradual migration and reports 34 PRs, 20+ merged within days, and shows incremental coexistence with JS plus concrete pain points (interop boundaries, runtime checks, bundle sizes) and benefits (faster refactors, fewer runtime type errors).
AI-written summary · about
chapters (17)
- 0:00Start
- 1:32What is Hasura?
- 15:39Login form example
- 16:58ReasonML
- 19:00PureScript
- 20:46TypeScript
- 22:40Elm
- 31:29Setup cost
- 35:17JS interop
- 44:16Type soundness
- 46:01Ecosystem
- 46:27IDE support
- 47:49Real world comparison
- 50:06Bundling time in ms
- 53:28We needed good JavaScript interop
- 54:01We needed a low migration cost
- 55:23Adoption plan
related talks
30mTypeScript: Seeing Past the Hype
24mTypeScript and how I've learned to love the compiler
22mBeyond JavaScript: The languages for the modern Web
33mTypeScript - JavaScript you are gonna love
40mTypeScript: State of the Union
27mMatthew Gerstman - TypeScript: Seeing Past the Hype
39mCommunicating in Types
31mA Pragmatist's Guide to Reasonml