~/talk

Painless software development with Haskell

Talkat Lambda World Cádiz 2019 · 2019-10-17..10-18· [haskell]
slides:none on file

Argues Haskell scales to general app development by demoing real code: using aeson and generics for JSON, optparse-generic for CLI records, and servant client and server generated from types to build an alpaca CRUD API that compiles, serves, and produces Markdown docs without runtime wiring. Shows polysemy DSLs and polysemy interpreters for deterministic tests so random and console effects become injectable or constant, enabling fast iteration, low boilerplate, and unit tests that run without IO; the examples compile and run end-to-end.

AI-written summary · about

  1. 0:00Intro
  2. 7:22Generic
  3. 15:59Client functions
  4. 20:25Lambda documentation
  5. 23:35Sam
  6. 26:37Console
  7. 30:16Run
  8. 31:34Interpreter
  9. 34:53Execute
  10. 36:59Interpreters
  11. 38:54Conclusion
  12. 40:34What was the point
  13. 42:05Homework
  14. 43:01Learn more
  15. 43:45Haskell for Living
  16. 45:10Outro
~/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.