Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceIntroduces type-level programming in Haskell, showing how to use types as program specifications. Foundational course in advanced type system features.
What you'll learn
A 117-minute video from LambdaConf: “Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019”.
Video by LambdaConf, played through YouTube's embedded player.
Part of Workshop, Haskell, LambdaConf 2019