Unexpected Monad. Is Safe Error Handling Possible in JS/TS?

on YouTube ↗29m

" summary

Claim: JavaScript/TypeScript can enforce typed exception flow by replacing try/catch with an Either/Result monad plus small glue to interoperate with promises and RxJS. Implementation uses TypeScript signatures, strict mode, custom Rx operators (mapEither, tapEither) and container types; a closed‑source Angular 8 app runs this in production since 2019. Outcome: compilation errors surface unhandled exception variants and handlers carry concrete types, reducing certain classes of bugs; tradeoffs are boilerplate, third‑party integration and custom lint rules.

AI-written summary · about

" chapters (10)

1. 0:00Unexpected Monad intro
2. 2:12Error handling checklist
3. 5:47Try-catch improvements
4. 10:49Multiple return values
5. 13:40Container-based errors
6. 17:42Monads as utilities
7. 20:59Monads in Angular
8. 24:42Why try-catch dominates
9. 26:52Monads without PhD
10. 27:37Q&A

" related talks

• 31mProgramming Safely in an Uncertain WorldDavid Chambers · ReactiveConf 2018
• 31mMONADS - CODING FUNCTIONALLYAliaksandr Famchankou · The Rolling Scopes #46 Mogilev
• 57mTypeScript : More than just another JS transpilerBasarat Ali Syed · NDC Sydney 2016
• 24mTypeScript for JavaScriptiesJosh Goldberg · CityJS Athens 2023
• 20mUnhandled rejections and other awaited promise talesRuben Bridgewater · NodeConf NL 2019
• 41mNext Generation Asynchronous Patterns in JavaScriptJonathan Mills · Devoxx Belgium 2017
• 28mError handling: doing it right!Ruben Bridgewater · JSNation 2019
• 28mEctype - bringing type safety (and more!) to vanilla JavaScriptHolly Wu · Strange Loop 2023