CPSC425 Spring 2008
HW 8: Types and Related Topics

  1. Read Webber Chapter 8 on Polymorphism. Do exercise 5 at the end of the chapter, all parts. Note that you can check your answers by typing in these functions, but do each exercise by hand first. The last few take some thought; be sure you think hard before you check them.

  2. Read Webber Chapter 9, which is primarily about first-class functions in ML. Do exercises 1-15, 27, and 28 at the end of the chapter. Notes:

    Have fun -- this is starting to feel like real functional programming!