sml-compiler

A tutorial implementation of a compiler for a modified dialect (no module system) of Standard ML. I do not make any guarantees about the correctness of the compiler (although obviously I prefer it to be correct), as this is mostly meant as an educational exercise.

We take an approach similar to MLton, where we will be performing whole-program compilation and monomorphization

Roadmap

• Parser
• Syntax checking
• Elaboration and type reconstruction
• Match compilation
• Monomorphization
• SSA transformation
• Optimization passes
• Native code generation