What Does Standard ML (SML) Mean?
Standard ML (SML) is a newer version of the “Meta Language” or ML programming language developed in the 1970s. ML has roots in LISP, which is one of a family of computing programming languages with parenthesized prefix notation.
Techopedia Explains Standard ML (SML)
As a successive variant of Meta Language, Standard Meta Language is a modular programming language. It has compile time type checking and type inference. Some experts say it has some “impure” features in terms of how expressions are evaluated and around the use of various statements or commands.
