SML(Standard ML) は関数型言語であるMLの標準規格です。 Standard ML で書かれたプログラムの大部分は、値を計算すべき式で構成されています。