From Exception Hell to Typed Bliss: Real-World Error Handling with Kotlin and Arrow

on YouTube ↗32m

" summary

Team migrates exception-heavy Kotlin code to Arrow using Arrow's Raise DSL and Either for months, keeping direct-style control flow while gaining compile-time error guarantees. Implementation specifics: replace throws with raise, use typed ADTs for domain errors, add a linter to catch forgotten binds, and use error accumulation selectively. Pain points include error-ADTs causing module coupling and experimental context parameters for multi-receiver cases, but overall the approach runs in production and reduces surprising runtime exceptions.

AI-written summary · about

" chapters (12)

1. 0:00Real-world error handling intro
2. 3:21Problems with exceptions
3. 7:18Typed errors improve reasoning
4. 10:09Monads for error handling
5. 13:06Arrow Either direct-style
6. 15:56Lessons after months
7. 20:35Modeling domain errors
8. 22:43Error accumulation issues
9. 24:08Future Kotlin features
10. 27:57Union types read errors
11. 29:24FP in mainstream languages
12. 30:50Summary

" related talks

• 47mFunctional programming in Kotlin: exploring ArrowTies van de Ven · Voxxed Days Luxembourg 2022
• 42mDesign for errors - An introduction to Domain Modeling with ArrowIvan Morgillo · droidcon London 2022
• 40mArrow of Outrageous Error HandlingDavid Rawson · Android Worldwide July 2021
• 30mFunctional programming in Kotlin: exploring ArrowTies van de Ven · Heapcon 2022
• 41mAn Arrow to the KotlinSaul Diaz Gonzalez · Mobilization 8
• 43mError Handling Strategies for Kotlin ProgramsDuncan McGregor, Nat Pryce · KotlinConf 2019
• 27mLeveraging the power of ArrowMonika Kumar Jethani · GDG DevFest Bangalore 2018
• 50mState of the functional ecosystem in Kotlin: Mid 2018 checkupPaco Estévez · Conference for Kotliners 2018