Az SML programozási nyelv a lambda-kalkuluson alapuló funkcionális programozási nyelvek családjába tartozik, az ML programozási nyelv szabványosított kiterjesztése. A széles körben elterjedt nyelvek között egyedi módon formális specifikációval rendelkezik, működési szemantikáját a The Definition of Standard ML című könyv írja le.
Leginkább egyetemi környezetben használják oktatási célokkal.