For Foundations of Programming Languages (15-312) at Carnegie Mellon University, we had to write a polymorphic type inferring compiler for a small ML dialect (MinML).
The compiler uses generalization and specialization with let-polymorphism to perform the type inference. These techniques are explained in hw04.pdf.
You must have SML/NJ installed on your machine. I would recommend installing rlwrap as well, because
without it the SML interpreter is pretty unwieldy. Note that the rlwrap below is optional.
From the root of the project:
$ rlwrap sml
Standard ML of New Jersey v110.72 [built: Sun Jan 30 15:13:54 2011]
- CM.make "sources.cm";
- Test.runAll();
To run a file and launch a MinML REPL (you need to define variables in the file), use
- TopLevel.replFile "filename"
For example, from the project root you can do
- TopLevel.replFile "tests/simple.mml"
val lol = fn : 'b -> 'a -> 'b
->