A functional programming language derived from ML. Unlike other functional languages, standard ML also supports some aspects of the procedural programming style, in particular for input and output. In consequence it is a general-purpose programming language.