~/talk

The path to declarative programming

links:none on file
links:none on file
slides:none on file

Shows how to migrate an imperative codebase toward declarative (functional) programming by refactoring a real application step by step. Covers concrete techniques to make business logic more declarative and resilient to side effects, discusses trade-offs (simpler logical reasoning vs. harder implementation), and explains practical use of concepts like monad transformers without heavy math.

AI-written summary · about

  1. 0:00Welcome
  2. 5:03Declarative programming defined
  3. 10:51Imperative coding first steps
  4. 18:38Monads and generic types
  5. 25:31Transformers and OptionT
  6. 30:31StateT and stateful testing
  7. 36:12Key benefits and conclusions
  8. 38:12Repository and resources
  9. 45:16Q&A and closing
~/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.