DM22, Spring 2005 - Weekly Note 4

Lecture February 21

Currying, uncurrying, and partial application. Examples of Haskell programming using high-order functions.

Additional Haskell syntax: list comprehensions, local definitions (where and let), case expressions, and lambda expressions).

Type classes.

Reading

Chapters 9 and 10 (again) in Thompson. Chapter 12 in Thompson. Slides: Introduction to Haskell III (ps.gz, pdf). Matrix example.

Remarks

Chapter 11 is on general programming methodology, and is not Haskell specific. This (short) chapter is to be read on your own, and will not be covered at lectures.

Lecture February 28 (Expected Contents)

Type checking in Haskell. Algebraic types.

Reading

Chapters 13 and 14 in Thompson.

Exercises February 24/25

Any remaining exercises from last week. Exercises 9.2, 9.4, 9.7, 9.8, 9.9, 9.10, 9.13, 9.14, 10.2, 10.3, 10.6, 10.7, 10.8, and 10.9 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.