Completed
CRDTs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
When Less is More and More is Less - Trade-Offs in Algebra
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Monoid typeclass
- 3 Example: Numbers under addition
- 4 Example: Functions
- 5 Foldable example: List
- 6 Foldable example: Maybe
- 7 Laws are important
- 8 Example: NonEmpty Lists
- 9 Example: Positive Integers
- 10 Introducing Semigroup
- 11 Semigroup instances
- 12 Every Monoid is a Semigroup
- 13 Why not Foldable?
- 14 Some Foldables...
- 15 Promoting Semigroups
- 16 Example: Maximum
- 17 What can we do with a semilattice?
- 18 Laws = power
- 19 Idempotence
- 20 CRDTs
- 21 Bounded Join-semilattice
- 22 Example: Set union laws
- 23 Wrapping up
