This talk is a basic introduction to Algebraic Data Types. It is targeted at someone who may not of seen them before (or at least not realised that they had seen them before). The talk walks through building up the simplest data types by hand, in Haskell, Scala and java, and shows their relationship to the lambda calculus and the expression problem.

This talk was presented at the Brisbane Functional Programming Group.

[ deck ]