DM22, Spring 2005 - Weekly Note 5

Lecture February 28

Type checking in Haskell. Algebraic types.

Reading

Chapters 13 and 14 in Thompson. Slides: Introduction to Haskell IV (ps.gz, pdf).

Remarks

Chapter 13 on type checking really only gives examples of the actions a Haskell system like Hugs has to perform in order to infer the (possibly parametric) type of a function or an expression. The chapter is neither a formal nor an exhaustive description of the process.

The textbook gives a nice and rather gentle description of the major parts of Haskell. It is all that is needed for the exam and the projects of this course. However, for the full details of Haskell 98, see the official description in Haskell 98 Language and Libraries - The Revised Report. At least, you should glance briefly through the description given of the prelude and the other standard libraries, which is quite accessible. The rest of the report is rather dense. An introduction to Haskell with a density somewhere between that of the report and that of the textbook is A Gentle Introduction To Haskell.

Lecture March 7 (Expected Contents)

Information hiding in Haskell: modules and abstract data types. Substantial examples of Haskell programming.

Reading

Chapters 15 and 16 in Thompson.

Exercises March 3/4

Any remaining exercises from last week. Exercises 11.1, 11.3, 12.3, 12.4, 12.5, 12.6, and 12.10 in Thompson.

Exercises March 10/11

Exercises 13.2, 13.7, 13.8, 14.4, 14.5, 14.6, 14.8, 14.16, 14.23, 14.24, 14.33, and 14.35 in Thompson.