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

§Zobacz też

• Porównanie Ocamla i Standard ML