Completed
GHC's take: Singletons
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
