Lecture 2

In the previous lecture, we have described briefly the type directed design principle of a programming language. In the next few lectures, we will follow this principle and design and develop the ideas and workings of the language ML --- from scratch.

We do so by adding different types, and thinking about their values and operations. So we will proceed step by step, type by type. We start with integers, reals, characters, strings, and add eventually functions types

Code: types.sml.

Reading: Programming Standard ML. Chapter 3: Declarations, Chapter 4: Functions.