Standard ML
W tym artykule zajmiemy się tematem Standard ML z różnych perspektyw, aby przeanalizować i zrozumieć jego dzisiejsze znaczenie. Standard ML to temat, który wzbudził duże zainteresowanie w różnych obszarach, a jego oddziaływanie rozciąga się od sfery osobistej po społeczną. Idąc tym tropem, zbadamy różne aspekty związane z Standard ML, dostarczając szczegółowych informacji i dogłębnych analiz, które pozwolą naszym czytelnikom uzyskać kompleksową wizję tego tematu. Ponadto zbadamy wpływ Standard ML w różnych kontekstach historycznych i geograficznych, aby zrozumieć jego ewolucję w czasie. Prezentując dane, referencje i opinie ekspertów, chcemy zapewnić naszym czytelnikom pełny i wzbogacający wgląd w Standard ML.
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.
Przykładowy kod
Poniższy kod realizuje algorytm sortowania szybkiego:
<<.
val filt = List.filter
fun quicksort << xs = let
fun qs =
| qs =
| 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