Production Haskell Demystified
summary
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
chapters (10)
- 0:00Introduction to data modeling
- 1:25Deriving type class instances
- 2:51Generating random data
- 5:18JSON serialization for free
- 6:40Property testing with QuickCheck
- 9:40Idiomatic JSON output
- 12:13Golden file testing
- 12:35Q&A on arbitrary instances
- 14:00Full-stack Haskell demo
- 18:35Summary and Q&A
related talks
46mPainless software development with Haskell
52mProject Presentations - Haskell
54mHaskell Project Showcase and Community Contributions
01h 22mHaskell for Everyday Programmers
01h 04mHaskell - A Peek Inside the Ivory Tower
49mHaskell On Rails
03h 04mHaskell for Beginners: Learn Functional Programming from Scratch
01h 26mReflections on Haskell@Meta
