What OCaml Taught Me About Engineering

A decade ago a compulsory course at TUM made me write OCaml and prove programs correct. I was lost for the first few weeks, and the way of thinking it forced on me never went away. This post is about what that course taught me about correctness and type systems, and how it still shapes the way we build our TypeScript codebase at remberg today.