~/talk

All I needed for FP I learned in High School Algebra

Talkat Clojure/conj 2017 · 2017-10-12..10-14· [functional-programming]
slides:none on file

Maps algebraic properties onto everyday code and shows how to derive and enforce them: uses Clojure examples (reduce, tuples for sum/count) to implement an associative aggregator for averages and adds an identity to make it a monoid, uses property testing with test.check to assert commutativity and grouping, demonstrates idempotent updates for button/state via hashmaps to achieve idempotence, and explains how these properties solve distributed issues like out-of-order delivery, duplicates, and safe serialization/deserialization.

AI-written summary · about

  1. 0:00Start
  2. 8:08Commutativity
  3. 12:11Grouping doesn't matt
  4. 27:13Idempotence
~/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.