Due on Thursday November 15.
The Eager Functional Language
Study carefully the implementation of the direct denotational semantics
for EFL (Eager Functional Language), attached below. Then:
- Modify the tuple syntax so that the index is dynamic -- i.e. it can be an
expression -- and define and implement a suitable semantics for the new
design.
- Modify the implementation so as to realize the continuation
semantics for EFL described in Chapter 12 (specifically, in Section
12.1).
- Add ISWIM-like references (via mkref, val, :=, and =R)
as described in Chapter 13.
- Add sequencing using the syntactic sugar defined in Section 13.4, except
instead of semicolon, use ::: as we did with SIL.
- Do Exercise 13.3 in the text, and implement your design in the EFL
interpreter.
Test your implementation on a suitable set of examples.
Eager FL Interpreter.
Solutions:
Continuation Semantics
for EFL.
Continuation Semantics
for ISWIM.