Skip to content

London Haskell

The Algebra of Algebraic Data Types

About this video

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.

functional programming