ReasonML" Strict, powerful, and forgiving."
summary
A password manager called Turaku gets rewritten using ReasonML compiled via BuckleScript into JavaScript with React and Electron on the front end and Ruby on Rails + GraphQL on the back end. The compiler finds missing cases, enables pattern matching and make illegal states unrepresentable by encoding manufacturers models and colors as nested variants, and lets sweeping structural changes be made until the code compiles — two days of edits end with a working app rather than a pile of runtime errors.
AI-written summary · about
chapters (8)
- 0:00Start
- 2:08Static Typing
- 5:45Statically Typed
- 8:10Records
- 9:13Variance
- 10:58Pattern Matching
- 32:56Type Inference
- 33:07Hindley-Milner Type System
