~/talk

Kotlin & Functional Programming: pick the best, skip the rest

Talkat J-Fall 2023 · on Thursday, 2023-11-09· [kotlin, functional-programming]
name:Urs Peter
links:none on file
slides:none on file

Kotlin favors expression-oriented code, higher-order functions and immutability, with stdlib Result + runCatching for composable error flows and coroutines replacing Reactor Monos for most async cases. The talk shows concrete refactors: a CSV/TSV writer turned into a higher‑order function, test setup/teardown wrapped as a reusable function, nested flatMap chains simplified with Arrow’s monad comprehensions (bind), and validations handled by Arrow Validated accumulate to return all errors. Warning: using monads everywhere hurts; author claims ~95% of code does better without pervasive monadic types.

AI-written summary · about

  1. 0:00Introduction and speaker background
  2. 2:34Swamps of imperative programming
  3. 7:52Valley of expression-oriented programming
  4. 12:09Mountains of higher-order functions
  5. 15:58Demystifying category theory
  6. 21:50Monads in reactive programming
  7. 26:49Monadic error handling
  8. 31:45Arrow Library and monad comprehensions
  9. 35:47When monads become anti-patterns
  10. 41:30Arrow examples and validation
  11. 45:24Optics for nested data structures
  12. 47:08Prosperous plain of functional common sense
~/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.