~/talk

Functional Programming in Kotlin with Λrrow

Talkat KotlinConf 2018 · 2018-10-03..10-05· [kotlin]
slides:none on file

Builds a pure, single-function Kotlin library that fetches GitHub gists into an immutable data model, uses an annotation processor to generate optics lenses for deep updates, and lifts errors into Either instead of throwing. Uses Arrow’s eitherT monad transformer to bind through coroutine Deferred, Rx Observable, Reactor Flux or Arrow IO, and runs the same polymorphic code in each runtime via an async type class. Shows higher-kinded emulation in Kotlin, modular packages, law-checked type class instances, and that the approach is testable and runtime-agnostic.

AI-written summary · about

  1. 0:00Start
  2. 0:37Introduction
  3. 4:18Data Types
  4. 30:50Type Class
  5. 33:54Persist Cache Function
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.