This topic covers type inference based on Michael Schwartzbach's article on polymorphic type inference found here, the ML programming language based on Paulson's book (Chapts. 2-5,7-9), ML modules based on Mads Tofte's Lectures here and here. Solutions to excercises in sections 1 and 2 of Tofte's lectures are found here and here.
The Final project is to do excercises 1 through 8 in Tofte's section 4. Due date is Dec. 17. To complete the project, you will need the following files:
build1.sml,
build2.sml,
build3.sml,
build4.sml,
interp1.sml,
interp2.sml,
interp3.sml,
interp4.sml, and
parser.sml.
The current release of SML (version 0.93) has been installed on /usr/lang/bin at slinky, sparky, and griffin. The user guide is found here. To run sml interactively, type
sml
To exit from sml, type
control-d
You can also create a file fname of sml commands and execute them inside of sml by typing the command
use "fname";
within sml.