DM22, Spring 2006 - Weekly Note 10

Lecture April 18

Infinite lists. I/O in Haskell. Monads.

Reading

Sections 9.1, 9.4, and 10.1 in Bird.

Remarks

In Section 10.1 of Bird, the symbol for one of the monadic combination operators is a triangle. In Haskell, the symbol is >>=. (The symbol of the other monadic combination operator is >> in Haskell as well as in the book.)

Lecture April 25 (Expected contents)

More on I/O in Haskell. Start on Prolog.

Reading

Section 10.1 in Bird. Chapters 1 and 2 in Clocksin and Mellish.

Exercises April 26

Exam of winter 2001 (pdf), exercise 4.

Exercises 9.1.1, 9.1.4, 9.4.1, 9.4.4, 10.1.7, 10.1.1, and 10.1.2 in Bird.