The Algebra of Algebraic Data Types

Speaker: Chris Taylor

Haskell's types are "algebraic data types". But what's so 'algebraic' about algebraic types? In this talk I'll explain what types have to do with algebra, starting with counting and type equations (Maybe x = 1 + x) and maybe getting as far as the calculus of types, divided types and what the hell it means to take the exponential of a type. I won't assume any maths background beyond what you learned at school.