Standard ML (SML) – język programowania funkcyjnego powstały w 1990 roku jako pierwszy standard języka ML (ang. Meta Language). Twórcami SML-a byli Robin Milner, Mads Tofte i Robert Harper.
W 1997 roku powstał aktualny standard języka. Został on opracowany przez Milnera, Tofte i Harpera oraz Davida Mac Queeina.
Podobnym językiem jest OCaml.
Poniższy kod realizuje algorytm sortowania szybkiego:
<<.
val filt = List.filter
fun quicksort << xs = let
fun qs [] = []
| qs [x] = [x]
| qs (p::xs) = let
val lessThanP = (fn x => << (x, p))
in
qs (filt lessThanP xs) @ p :: (qs (filt (not o lessThanP) xs))
end
in
qs xs
end
