Lecture 5: Datatypes.

In this lecture we introduce the concepts of datatypes. We discuss that datatypes declare a new type, and the meaning of its constructors. Dual to the concept datatype we demonstrate the technique of pattern-matching that basically acts as induction principle. It allows function definition by patterns, that must be linear.

Source Code:

Previous lecture: Lecture 4
Next lecture: Lecture 6