HackerTube / Video
The Algebra of Algebraic Data Types
London Haskell
A London Haskell talk on the algebra of algebraic data types, showing how sum and product types behave like arithmetic. It frames types as numbers obeying algebraic laws.
Cited as the author's own talk and a way to go deeper on type algebra, with a note that the audio is rough at the start.
4 Hacker News mentions · 2013–2015