Standard ML


Standard ML (SML) is a general- purpose, modular, functional programming language . It is equipped with a strong type inference static typing system.

SML descends directly from the ML language .

There are many implementations of SML, including Standard ML of New Jersey , MLton, MLWorks, Moscow ML and Poly / ML.