Functional programming in Kotlin: exploring Arrow
summary
Arrow is shown solving real Kotlin problems: replace exceptions or nullable returns with Either with left error and right value to carry error context, use either.either.eager monad comprehension to write imperative-looking code that short‑circuits on errors, and compose @optics-generated lenses to update deep immutable data without manual copy chains. A pseudo Spring Boot booking demo compiles only when all error branches are handled. The arrow-analysis plugin turns runtime checks into compile-time errors but currently has Gradle, deserialization, and API limitations.
AI-written summary · about
chapters (4)
- 0:00Introduction and philosophy
- 3:36Working with Either monads
- 24:54Advanced Arrow features
- 44:20Q&A and concluding remarks
related talks
30mFunctional programming in Kotlin: exploring Arrow
41mAn Arrow to the Kotlin
39mFunctional Programming in Kotlin with Λrrow
44mKotlin & Functional Programming: pick the best, skip the rest
27mLeveraging the power of Arrow
32mFrom Exception Hell to Typed Bliss: Real-World Error Handling with Kotlin and Arrow
50mState of the functional ecosystem in Kotlin: Mid 2018 checkup
48mKotlin & Functional Programming: pick the best, skip the rest
