DM22, Spring 2006 - Weekly Note 9

Lecture April 4

More on first project. Modules. Type inference.

Reading

Section 8.2. Handouts from Thompson book.

Lecture April 5

More on type inference. Reduction orders. Efficiency.

Reading

Handouts from Thompson book. Sections 7.1-7.5 (in Bird). Section 7.2 can be read very lightly, as this material is covered in DM02.

Lecture April 18 (Expected contents)

Infinite lists. I/O in Haskell. Monads.

Reading

Sections 9.1, 9.4, and 10.1.

Exercises April 19

Exam of winter 2000 (pdf), exercise 1, question 1.

Exam of summer 2003 (pdf), exercise 3.

Exercise 1.6.3, 7.3.1, 7.5.2 in Bird.