~/talk

FP for Data Science For Loops Considered Harmful

links:none on file
slides:none on file

Argues that using static types and immutability prevents whole classes of bugs (matrix-dimension and unit mismatches become compiler errors), replaces brittle for-loops with map and fold for scale-invariant code that runs the same on a laptop or a Spark cluster, and models effects as ADTs/monads so functions are total and testable. Shows Python/Scala examples, sketches a free monad DSL that swaps interpreters for scikit-learn, TensorFlow or Spark.

AI-written summary · about

  1. 0:00Introduction and motivation
  2. 2:06Audience engagement questions
  3. 3:50Key FP concepts explained
  4. 7:47Benefits of FP for data science
  5. 10:18Python vs functional trade-offs
  6. 12:05Parallelism in data pipelines
  7. 13:07Correctness through FP
  8. 15:16Expressiveness in functions
  9. 16:23Algebraic properties in code
  10. 17:07Compositionality in ML
  11. 18:32FP in neural networks
  12. 19:35Call to embrace FP
~/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.