Functional Programming in Kotlin for AndroidDevs
summary
Starts from math (domain/codomain and referential transparency) and shows concrete Kotlin code: mapping/reduce examples, a polymorphic function composition implementation using generics, an extension + infix-based API to chain functions, and a curried implementation to handle multi-argument cases. Demonstrates how Arrow’s Option and Either model nullable and error flows, argues a 100% functional Android app is impractical but extracting computations to pure functions works, and recommends gradual adoption and two books for next steps.
AI-written summary · about
chapters (11)
- 0:00Introduction and speaker background
- 4:42What is functional programming
- 9:12Pure functions and referential transparency
- 13:23Kotlin functions mathematically
- 14:26Function composition basics
- 17:17Function composition in Kotlin
- 21:06Currying in Kotlin
- 24:16Creative composition with Kotlin
- 27:06Pure effects and handling nulls
- 30:16Arrow and functional types
- 31:41Final thoughts and recommendations
related talks
41mArchitectures Using Functional Programming Concepts
44mKotlin & Functional Programming: pick the best, skip the rest
32mFunctional Programming on Android
41mAn Arrow to the Kotlin
48mKotlin & Functional Programming: pick the best, skip the rest
47mFunctional programming in Kotlin: exploring Arrow
43mFunctional Programming in Practice with Kotlin & Scala
30mFunctional programming in Kotlin: exploring Arrow
