Functional Android apps

on YouTube ↗57m

" summary

Claims that using Arrow Fx Coroutines plus Arrow functional streams yields a practical functional Android architecture: suspend flags side effects, an environment/runtime runs suspended programs, and operators provide structured concurrency, parallelism and cancellation. Shows concrete tooling: either/validated for error models, parTraverse and parallel parJoin for concurrent requests, evalOn for threading, schedule-based retry policies, stream callbacks and bracket for lifecycle and resources. Demonstrates how programs stay declarative until a suspended terminal runs them and how failures short‑circuit or accumulate.

AI-written summary · about

" chapters (10)

1. 0:00Intro
2. 1:45Concern separation Staying declarative and deferred • Memory representation of the program (algebras). Decoupled runtime - optimizations. • Simple example: Kotlin Sequences terminal ops to consume - toList()
3. 6:52Android architecture? We can leverage the same idea using suspend Flags a potentially blocking long running computation effect • Enforces it to run under a prepared environment (Coroutine). • Makes the effect compile time tracked.
4. 8:45But we'll need a runtime Every suspended program requires an environment (runtime) to run Suspend makes our program declarative + description of effects. • Crawls the call stack up until the integration point coroutine launch.
5. 10:22Environment in FP • Arrow Fx Coroutines Environment.
6. 17:31Nullable data Option getting deprecated. Alternative 1: A? • Alternative 2: Either
7. 24:39Sequential effects - bindings Alternative syntax Either bindings sugar
8. 31:24Limitations • Either or Validated are eager. We want them deferred declarative. • suspend will do the work But what about threading/concurrency?
9. 32:19A. Arrow Fx Coroutines Functional concurrency framework. • Functional operators to run suspended effects. • Cancellation system 7 + All Arrow Fx operators automatically check for cancellation
10. 43:08What we need Emit multiple times Embed suspended effects. • Compatible with all the Arrow Fx Coroutines operators. . Cold streams - purity declarative. . Composition

" related talks

• 34mFunctional AndroidVictoria Gonda · droidCon NYC 2018
• 51mArrowFx: Functional Programming for the massesJorge Castillo · Conference for Kotliners 2019
• 32mFunctional Programming on AndroidMax Cruz · Droids4Droids Colombia 2018
• 42mKotlin Coroutines: An Intro to Practical Use on AndroidNick Capurso · 360|AnDev 2018
• 41mArchitectures Using Functional Programming ConceptsJorge Castillo · KotlinConf 2017
• 41mAn Arrow to the KotlinSaul Diaz Gonzalez · Mobilization 8
• 28mArrow Fx: Functional Domain Modeling with KotlinSimon Vergauwen, Raúl Raja Martínez · Conference for Kotliners 2020
• 34mFunctional Programming in Kotlin for AndroidDevsHari Vignesh Jayapalan · droidcon New York 2022