Assignments 2/3
MinML interpreter and type checker (due 2/13)
To do
When you are finished please email me the two required files.
MinML
The purpose of this assignment is to introduce the basic techniques we
will use for studying Java but in the much simplified context of a
mini-language MinML.
Haskell Interpreter
The beginnings of your solution are in the file
minML.hs. Your task is to write an interpreter in Haskell which
evaluates an MLExp
in its static environment and produces
an MLValue
. The semantics of MinML will be explained in
class.
ASMgofer Model
Your second task is to model MinML in ASMgofer following the general
framework of the JBook. The file minML.gs has
the beginnings of your solution. Again this will be discussed in class.
Your ASMgofer code should also include a typechecker for MinML which
rejects ill-typed programs.