~/talk

What Haskell Taught Us When We Weren't Looking

Talkat Lambda World Cádiz 2018 · 2018-10-25..10-26· [functional-programming]
slides:none on file

Haskell’s concrete influence on mainstream languages is spelled out: a 2,000-line C++ configurator is refactored into composable functions; Java, Scala and Swift borrow first-class functions and pattern matching; generics and local type inference trace back to Haskell-inspired tradeoffs; using non-empty list types eliminates head-of-list errors by construction; abstractions like Monoid/Monad and higher-kinded types enable reusable pipelines; libraries cited include QuickCheck, lenses, streaming packages and STM; remaining pain points are records, modules, GC and IDE support.

AI-written summary · about

  1. 0:00Start
  2. 12:56Pattern Matching
  3. 16:09Smart functions
  4. 20:59Project Amber
  5. 28:18subtype
  6. 33:55MODULES
  7. 34:56Garbage collection
  8. 35:33Records
~/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.