Completed
Four Capabilities of Dependent Type Systems
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Dependent Types in Haskell
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Dependent Haskell
- 3 Regular expression capture groups
- 4 How does this work? 1. Compile-time parsing
- 5 2. Type functions run by type checker
- 6 Types Constrain Data with GADTS
- 7 Indexed Types constrain data
- 8 Dependent types
- 9 GHC's take: Singletons
- 10 Working with type indices
- 11 Type classes to the rescue
- 12 Four Capabilities of Dependent Type Systems
