StandardMLisatype-safeprogramminglanguagethatembodiesmany innovative ideas in programming language design. It is a statically typed language, with an extensible type system. It supports polymorphic type inference, which all but eliminates the burden of specifying types of vari- ables and greatly facilitates code re-use. It provides efficient automatic storagemanagementfordatastructuresandfunct…