Course curriculum

  • 1

    Welcome

  • 2

    GADTs

    • Introduction to GADTs

    • ADTs vs. GADTs.

    • Exercises

    • Lesson Quiz
  • 3

    Data Type Promotion

    • Data Type Promotion 1

    • Data Type Promotion 2

    • Lesson Quiz
  • 4

    Type Level Computation

    • Computing with Types: Type Families

    • Computing with Types: Type Classes

    • Computing with Types- High-Level View

    • Lesson Quiz
  • 5

    Bridging Term and Type Level

    • Reflection

    • Existentials and Validation

    • Lesson Quiz
  • 6

    Higher Types

    • Higher-rank Types

    • Constraints as Types

    • Lesson Quiz
  • 7

    Summary

    • Summary