The London Haskell user group has a talk next week:
The Algebra of Algebraic Data Types
Speaker: Chris Taylor
Haskell's types are "algebraic data types". But what's so
'algebraic' about algebraic types? This talk explains 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. No assumptions on any maths background beyond what you
learned at school.
Wednesday 28-Nov-2012 6-30pm
City University, College Building, St John Street, London. EC1V 4PB