Composite type #

Some programming languages let us define our own types inductively, by combining values and/or types.

We will see how this is done in Haskell and Java.

Terminology. Composite types are sometimes called algebraic types or algebraic data types (ADTs), because they are build via operations over types that are analogous to algebraic operations (notably sum and product) .