BrighterTube

Justin Le - Enhancing your Haskell with Dependently Typed Programming - λC 2017

LambdaConf8.86K subscribers

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Covers dependent type programming in Haskell, a type-level technique for encoding stronger invariants. Teaches advanced type system features and their practical applications.

A 48-minute video from LambdaConf: “Justin Le - Enhancing your Haskell with Dependently Typed Programming - λC 2017”.

Programming & CS

Video by LambdaConf, played through YouTube's embedded player.

Part of LambdaConf 2017