Lecture 3

In the previous lecture, we have introduced the type of functions, its values, and the operations defined on them. In fact, there was only one operation, and this is function application.

In this lecture we continue applying the design technique and add a type for tupels and records. With values and the necessary projection functions.

Reading: Programming Standard ML. Chapter 5: Products and Records.