Aviva Directory » Computers & Internet » Programming » ML (languages) » Standard ML

Standard ML, also known as Standard Meta Language, or SML, is a general-purpose, modular, functional programming language used by compiler writers and programming language researchers.

Released in 1983, Standard ML is a modern dialect of ML, inspired by some fundamental concepts of computer science, making them available directly to the programmer. Specifically, within SML, trees and other recursive datatypes may be declared and used without mention of pointers. Functions are values in SML. Functions can take functions as arguments, and return functions as results. Type polymorphism makes it possible to declare functions whose type depends on the context.

In SML, there is an emphasis on safety, through the soundness of Standard ML type discipline, and through the fact that SML implementations use automatic memory management, which does not permit premature deallocation of memory

Standard ML includes references, arrays, input-output, a modules system, libraries, and compilers, making it suitable for use in large-scale applications. SML is also used for teaching and in research, particularly theorem proving, compiler technology, and program analysis.

The focus of this guide is on Standard Meta Language, also known as Standard ML or abbreviated as SML. Websites about the language itself are appropriate for this category, as are those whose topics include any IDEs, editors, or other tools designed to facilitate programming in SML, as well as tutorials, guides, user groups, or forums.



Recommended Resources

Search for Standard ML on Google or Bing