DM22, Spring 2006 - Weekly Note 3

Lecture February 21

This lecture is cancelled (the extra lecture on February 9 takes its place). You are advised to spend time reading the non-proof parts of sections 4.1-5 thoroughly (we only had time to a skimpy coverage at the last lecture). If you can understand the definitions of the (standard prelude) functions defined there, your knowledge of Haskell is well up to speed.

Reading

Non-proof parts of sections 4.1-5 in Bird.

Lecture February 28 (Expected Contents)

This lecture will be done by Peter Kornerup, as I am attending a conference. The subjects will be some examples of actual Haskell programming from sections 5.2-5.

Reading

Sections 5.2-5 in Bird.

Exercises March 1

Exercises 4.3.9 ("distinct" means that (1,2) and (2,1) should be regarded as equal, i.e. the pairs are unordered), 4.3.10, 4.3.11 (combinatory style means using map, filter, and concat), 4.5.1, 4.5.2, 4.5.3, 4.5.5, 4.5.9, and 4.5.10 in Bird.