~/talk

The Power of Composition

Talkat NDC Oslo 2020 · 2020-06-08..06-12· [functional-programming]
slides:none on file

Argues composition builds large systems from tiny reusable functions and types, demonstrated with a Roman‑numerals pipeline, a composable FizzBuzz using a two‑track result type, and a complete object‑free web app (F# examples, C# shown where helpers are needed). Shows currying and partial application turn multi‑arg functions into chainable one‑arg functions, uses bind/flatMap for branching results (monads), and Kleisli-style composition for HTTP handlers (async option httpContext, used in Giraffe). All examples are implemented and shown working.

AI-written summary · about

  1. 0:00Start
  2. 0:47The Power Of Composition
  3. 1:58Prerequisites for understanding composition
  4. 2:51Lego Philosophy
  5. 6:48Four ideas behind FP
  6. 31:04The Replace function
  7. 40:06A simple F# implementation
  8. 40:53Pipeline implementation
  9. 50:53FP terminology
  10. 56:47A complete web app
  11. 58:34Review
~/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.