DM22, Spring 2006 - Weekly Note 4

Lecture February 28

Examples of actual Haskell programming (lecture done by Peter Kornerup).

Reading

Sections 5.2, 5.3, and 5.5 in Bird. Slides (classlist.hs, classlist.out, arbint.hs, arbint.out, KornerupDivisionAlg.pdf, text.hs).

Lecture March 7 (Expected contents)

The value undef. Strict and non-strict functions. Proofs of properties of code.

Reading

Chapters 1, 2 and 4 again, now with a focus on undef and on proofs.

Exercises March 8

Exam of winter 2001 (pdf), exercise 3.

Exercises 4.5.6, 5.2.3, 5.2.6, 5.3.3, and 5.3.7 in Bird.