~/talk

Production Haskell Demystified

Talkat Scale By The Bay 2018 · 2018-11-15..11-17· [haskell]
links:none on file
slides:none on file

Haskell code models produce concrete artifacts automatically: using GHC Generics plus libraries like generic-random and Aeson the compiler derives QuickCheck arbitrary instances, JSON codecs, round‑trip property tests (the demo runs ~100 property tests and uses golden files in VCS) and generates Swagger docs plus a mock API. A ~250-line server produces live random JSON examples and failing tests flag breaking schema changes, so the system both documents and validates formats with little handwritten glue.

AI-written summary · about

  1. 0:00Introduction to data modeling
  2. 1:25Deriving type class instances
  3. 2:51Generating random data
  4. 5:18JSON serialization for free
  5. 6:40Property testing with QuickCheck
  6. 9:40Idiomatic JSON output
  7. 12:13Golden file testing
  8. 12:35Q&A on arbitrary instances
  9. 14:00Full-stack Haskell demo
  10. 18:35Summary and Q&A
~/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.