Architecting Typed FP Applications & Libraries in Kotlin with Arrow
summary
Library implements a polymorphic GitHub Gist fetcher built atop Arrow and Kotlin, returning immutable models and supporting multiple effect runtimes (Rx2 Observable, Reactor Flux, Kotlin coroutines/Deferred, Arrow IO). It uses generated optics/lenses for deep immutable updates, tagless‑final style type classes with a Kind emulation, monad transformers to avoid nested unwrapping, and modular runtime instances per backend. The example compiles, runs, and meets the stated requirements.
AI-written summary · about
chapters (13)
- 0:00Start
- 4:15Requirements
- 5:09Flux
- 9:51Optics Library
- 14:35Initial Impure Implementation
- 15:50Pattern Matching
- 18:33Co-Routines Encoding
- 25:25Type Class
- 28:10Static Functions
- 29:48Delegation
- 30:48Why Are We Testing Boolean Instead of Pattern Matching
- 37:30The Cartesian Builder
- 39:43Thank You
related talks
39mFunctional Programming in Kotlin with Λrrow
47mFunctional programming in Kotlin: exploring Arrow
27mLeveraging the power of Arrow
50mState of the functional ecosystem in Kotlin: Mid 2018 checkup
30mFunctional programming in Kotlin: exploring Arrow
28mArrow Fx: Functional Domain Modeling with Kotlin
51mArrowFx: Functional Programming for the masses
41mArchitectures Using Functional Programming Concepts
