Typed Functional Programming in TypeScript with fp-ts

on YouTube ↗07m

" summary

Claims that fp-ts plus io-ts and monocle actually produce branded types so a string becomes a compile time Email after passing a decoder, not just a runtime check. Shows a five‑minute signup form built with a useForm hook, uses Either to force explicit error handling, and demonstrates that TypeScript surfaces type errors when invalid data flows through. The demo compiles, validates at the border, and reuses normal npm libraries across browser and server.

AI-written summary · about

" chapters (9)

1. 0:00Introduction
2. 0:35fpts
3. 1:43runtime checks
4. 2:45branded type
5. 3:47eater type
6. 5:01benefits
7. 5:51example
8. 6:07the problem
9. 6:25TypeScript Workshop

" related talks

• 46mA Real World Example of Functional Programming with fp-tsFrederick Fogerty · CityJS Conference 2020
• 43mHow to get away with functional programming in frontend applicationsGabriele Petronella · Lambda World Cádiz 2018
• 33mPurifying TypescriptTimothy Clifford · Full Stack Fest 2018
• 21mSuper TypeScript II Turbo – FP RemixSean May · ng-conf 2017
• 37mType-level Programming ƒun in TypeScriptMattia Manzati · React Alicante 2019
• 43mA Deep Dive into Advanced TypeScript: A Live Coding ExpeditionChristian Woerz · Øredev 2024
• 44mA Deep Dive Into Advanced TypeScript - A Live Coding ExpeditionChristian Wörz · Voxxed Days CERN 2026
• 59mA Deep Dive into Advanced TypeScript: A Live Coding ExpeditionChristian Woerz · NDC Oslo 2025