DM22, Spring 2007 - Weekly Note 4

Lecture February 19

Useful functions on lists.

Reading

Non-proof parts of sections 4.1-5 in Bird. Browse the standard library, and the appendix in Bird. Also read the following larger code example: matrix.hs (many comments included).

Lecture February 26 (Expected Contents)

A bit more on fold functions. The value undef. Strict and non-strict functions. Trees.

Reading

Section 4.5 in Bird. Chapters 1 and 2 in Bird, now with a focus on undef. Sections 6.1-2 in Bird.

Exercises February 28

Exercises 1.6.2, 4.3.7, 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, and 4.5.5 in Bird.

Exam of summer 2005 (pdf), exercise 1.