Due: Sunday, 12/9 at 11:59pm
Your primary job in Part I of this -- the course's last assignment --
is to implement a type checker for the Scheme1 language of A4.
In part II (EC) of A5, you'll extend your A4 to support boxes as described in Chapter 31 of PAPL.
This is a partner assignment. That is, you may work with at most one other person on both Parts I and II as described below.
Part I (4 POINTS)
-
Implement a type checker for the Scheme1 language of A4, as described in a5-3200-f18-STUDENT.arr.
- Submit your file, named a5-3200-f18-STUDENT.arr, via Blackboard on or before 11:59pm on the due date.
- Only one person from each partnership need submit. However, each submitted file must clearly list both partners' names in a comment at the top of the file.
Part II (4 EC POINTS)
-
Extend your A4 implemention (parser, interpreter) and A5 type checker to support boxes (a.k.a. mutable references), as
described in Chapter 31 of PAPL.
- Submit your file, named a5-3200-f18-BONUS.arr, via Blackboard on or before 11:59pm on the due date. Only one person from each partnership need submit. However, each submitted file must clearly list both partners' names in a comment at the top of the file.
- PART II is extra credit. The points (up to max. 4) will be added to your overall homework grade.
