Problem Set 5
Home Syllabus Lecture Slides Learning Haskell Problem Set 1 Problem Set 2 Problem Set 3 Problem Set 4 Problem Set 5 Problem Set 6 Problem Set 7 Problem Set 8 Problem Set 9

 

Due on Wednesday, October 24.

Continuation Semantics

  1. Implement the semantics specification of Section 5.8 in the text (i.e. the one with both success and failure continuations) in Haskell.  Test your implementation on a couple of non-trivial programs that demonstrate proper input, output, and failure.
     
  2. Do Exercise 5.4 in Reynolds.
     
  3. Modify your implementation in (1) above so as to incorporate the catch-in-with command from Exercises 5.4.  Test your implementation.

 

Solution: Continuation Semantics.
Related: Direct Semantics