Standard ML

Ten artykuł od 2021-03 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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 [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