Lecture 8

We complete today the discussion about list with an example on how to perform structural induction over lists.

In the second part of lecture, we start with the second chapter in computer science: hardware. The basic concept that make computers works are Boolean numbers "1" and "0" and Boolean functions "and", "or", "not", "imp".

Code: reverse.sml.

booleans.sml.

Reading: Programming Standard ML. Chapter 26: Structural Induction