Haskell DJs: Compose a Hit with Vinyl!
summary
Claims that Haskell gets structural row types via Vinyl plus a sugar layer called Composite Records and shows a working JSON boundary using Aeson Better Errors. Demonstrates static string identifiers, recursive typeclass proofs for subset/equivalence/reorder, applicative traversal to parse records, and integrations for Postgres/Opaleye, EKG and Swagger. The composite layer is implemented (2017) and the JSON parser produces meaningful missing-key/type errors, so the approach actually parses and roundtrips real records.
AI-written summary · about
chapters (15)
- 0:00Intro
- 1:03Definitions
- 2:09Why are row types useful?
- 6:44Vinyl - Constructor
- 8:57Vinyl - Index/Element
- 14:24Vinyl - Image/Subset
- 17:12Vinyl - Equivalence
- 18:40Vinyl - Traversals
- 21:03Vinyl Example
- 26:11Recap
- 26:55Usability
- 29:15Composite Records
- 34:53Composite Aeson
- 42:35Other Composite Libraries
- 43:46Resources
related talks
46mPainless software development with Haskell
21mProduction Haskell Demystified
01h 04mHaskell - A Peek Inside the Ivory Tower
15mPolymorphic Records for Dynamic Languages
03h 04mHaskell for Beginners: Learn Functional Programming from Scratch
39mCoder Decoder: Functional Programmer Lingo Explained, with Pictures
01h 02mHaskell for Java Programmers
04h 08mHaskell Beginners' Track