Why Algebraic Data Types Are Important

Why Algebraic Data Types Are Important

code::dive conference via YouTube Direct link

Systematic type theory

3 of 9

3 of 9

Systematic type theory

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Why Algebraic Data Types Are Important

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 The problem
  3. 3 Systematic type theory
  4. 4 Abstracting over types
  5. 5 Products
  6. 6 Sums
  7. 7 Exponentials
  8. 8 Unit
  9. 9 Algebraic identities

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.