Algebraic Data Types
summary
It claims two concrete constructors: product type (and) and sum type (or). JavaScript is the tool, with a product example object composed of string number and boolean and a sum example that is string | undefined which explains a real runtime error. It shows counts — 12 different fruit-salad products and 7 fruit-snack sums — and cites corvid as the deployed platform context, arguing these patterns force explicit handling of every variant.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:12Purpose of types
- 1:45Guess the type
- 2:39Our brain
- 3:43Fruit salad
- 4:57Fruit snack
- 5:55Algebraic definition
- 6:57Some types
- 9:05JavaScript
related talks
05mAlgebraic Data Types
55mWhy JavaScript Programmers Should Learn Algebraic Data Types
36mAlgebraic DataTypes in Scala. Where is the algebra? What other algebras are there?
19mAlgebraic Data Types
25mLeveraging (algebraic data) types to make your UI rock solid
17mHow Does JavaScript Math?
19mBinary Arithmetic in TypeScript's Type System
31mStructuring Arrays with Algebraic Shapes