DM22, Spring 2005 - Weekly Note 9

There are public holidays Friday, April 22 (St. Bededag/"Great Prayer Day"), and Thursday, May 5 (Kristi Himmelfartsdag/Ascension Day). This will cancel each of the exercise classes once. The Friday class will lag one week behind the Thursday class in the intervening period.

Lecture April 11

Space complexity. I/O in Haskell. Start on Prolog.

Reading

Sections 19.4-5 and 18.1-7 in Thompson. Chapter 1 in Clocksin and Mellish.

Comments

The I/O part of Haskell is an example of a monad. A monad is a mathematical concept from category theory, which has found use as a model of programming in advanced functional programming. The book discusses monads briefly in Sections 18.7-9, but the exposition is too short and poorly written to make sense to cover. These sections will not be part of the curriculum (although the official curriculum mentions the entire Chapter 18).

Lecture April 18 (Expected Contents)

More prolog.

Reading

Chapters 2-4 in Clocksin and Mellish.

Exercises April 14/15

Remaining exercises from previous eksaminatorier (namely, all non-exam exercises from April 7/8).

Exam of summer 2002 (pdf), exercise 3.

Exercises April 21/29

Exam of winter 2001 (pdf), exercise 4.

Exercises 8.3, 10.36 (except question in last sentence), 14.54, and 17.34 (except question in last sentence) in Thompson.