~/talk

Why I Like Functional Programming

Talkat LambdaConf 2015 · 2015-05-22..05-24· [career-development]
slides:none on file

Functional programming claims: referential transparency lets algebraic reasoning replace mutable state. Concrete wins: a binary‑tree insert shrinks from imperative loops to a few Scala lines; random generators use the state monad to return (value,nextState) instead of mutating seeds; effects become values via Option/Either/Task/IO so composition and testing get simple. A real bug arises from Scala futures that start running on creation, fixed by switching to task semantics. Libraries named: Cats Scalaz Monocle Doobie http4s fs2.

AI-written summary · about

  1. 0:00Intro
  2. 0:28UC Santa Barbara
  3. 2:54Physics
  4. 4:14Example
  5. 6:17Changing Major
  6. 8:47Functional Programming Definition
  7. 10:17Type Signature
  8. 14:57Quadratic Equation
  9. 16:26Fetch Data
  10. 19:52Separation of Concerns
  11. 21:17Option Datatype
  12. 24:52Functors
  13. 28:49Lens
  14. 34:40Modify
  15. 40:34Averse Traverse
~/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.