DM22, Spring 2007 - Weekly Note 9

Lecture March 26

More Haskell evaluation details. Cyclic structures.

Reading

Sections 7.5 and 9.4 in Bird.

Lecture April 2

More on cyclic structures. The undefined value. Strict and non-strict functions. Proofs of properties of code.

Reading

Section 9.4 in Bird. Chapters 1 and 2 and Sections 4.1-2 in Bird again, now with a focus on the undefined value, and on proofs. Section 9.1 in Bird. For further information on infinite lists, see Sections 9.2-3 in Bird (which will not be curriculum).

Exercises April 11

Exercises 1.3.2, 2.5.1, 4.2.3, 4.2.4, 4.2.5, and 4.2.10 in Bird.

Exam of summer 2002 (pdf), exercise 3, question c.