The Algebra of Algebraic Data Types

Why it was recommended

Real types are numbers that obey type algebra, which C/Java/Go have no idea exists.

Referenceinnguest · Original2015-04

What it covers

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. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

London Haskell

Length

1 hr 4 min

Year

2012

More in this topic

• Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
• The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
• "Simple Made Easy" - Rich Hickey (2011)
• "Making Impossible States Impossible" by Richard Feldman
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• The Value of Values with Rich Hickey