MLton

Implementation of programming language Standard ML

MLton is a whole-program optimizing compiler for Standard ML.

Examples:

Hello, World!:

Example for versions MLton, Moscow ML 2, SML/NJ 110

print is a built-in function defined with the following type: 

string -> unit

This means that it takes 1 string as a parameter, and returns the unit type, (). 

print "Hello World\n";