Standard ML

Standard ML

პარადიგმა	ფუნქციური, ბრძანებითი
გამოქვეყნების თარიღი	1990, 1997 (ენის სპეციფიკაცია)
ტიპების განსაზღვრა	ძლიერი, სტატიკური, დასკვნის გაკეთებით
მთავარი ვერსიები	MLton, Standard ML of New Jersey, Moscow ML, Poly/ML, TILT, HaMLet, ML Kit, SML.NET, Poplog, SML#
ენების ზეგავლენით	ML
ენებზე ზეგავლენა	ობიექტური კამლი

Standard ML (SML, Standard Meta Language - სტანდარტული მეტა ენა) არის ფართო სფეროიანი, ფუნქციური, ბრძანებით, მოდულარული, პროგრამირების ენა რომელშიც ცვლადების ტიპები კომპილირების დროს არიან დასკვნილი. იგი პოპულარულია კომპილატორების და პროგრამირების ენების შემქნელთა წრეებში, და აგრეთვე მათემატიკური დამტკიცებისთვის.

SML-ი არის ML პროგრამირების ენის თანამედროვე წარმომავალი. უფრო მეტად გავრცელებული პროგრამირების ენების განსხვავებით იგი დაფუძნებულია სპეციფიკაციის მიხედვით, The Definition of Standard ML (1990, განახლებული და გამარტივებული: Definition of Standard ML (Revised), 1997 წელს).

მაგალითები

ფაქტორიალი: <source lang="sml"> fun factorial 0 = 1

 | factorial n = n * factorial (n-1)

</source>

დახარისხების ალგორითმი Quicksort-ი

<source lang="sml">

 fun quicksort << xs = let
    fun qs [] = []
      | qs [x] = [x]
      | qs (p::xs) = let
         val (less, more) = List.partition (fn x => << (x, p)) xs
         in
           qs less @ p :: qs more
         end
    in
      qs xs
    end

</source>

მოკლე ენის მაგალითი, დააკვირდით რა მარტივად არის შექმნილი.

<source lang="sml">

 exception Err

 datatype ty
   = IntTy
   | BoolTy

 datatype exp
   = True
   | False
   | Int of int
   | Not of exp
   | Add of exp * exp
   | If of exp * exp * exp

 fun typeOf (True) = BoolTy
  | typeOf (False) = BoolTy
  | typeOf (Int _) = IntTy
  | typeOf (Not e) = if typeOf e = BoolTy then BoolTy else raise Err
  | typeOf (Add (e1, e2)) = 
       if (typeOf e1 = IntTy) andalso (typeOf e2 = IntTy) then IntTy else raise Err
  | typeOf (If (e1, e2, e3)) = 
       if typeOf e1 <> BoolTy then raise Err
       else if typeOf e2 <> typeOf e3 then raise Err
       else typeOf e2
 
 fun eval (True) = True
  | eval (False) = False
  | eval (Int n) = Int n
  | eval (Not e) = 
    (case eval e
         of True => False
          | False => True
          | _ => raise Fail "type-checking is broken")
  | eval (Add (e1, e2)) = let
       val (Int n1) = eval e1
       val (Int n2) = eval e2
       in
         Int (n1 + n2)
       end
   | eval (If (e1, e2, e3)) = 
       if eval e1 = True then eval e2 else eval e3

 fun chkEval e = (ignore (typeOf e); eval e) (* will raise Err on type error *)

</source>

რესურსები ინტერნეტში

• (ინგლისური) What is SML?
• (ინგლისური) What is SML '97?
• (ინგლისური) successor ML (sML) is intended to provide a vehicle for the continued evolution of ML, using Standard ML as a starting point.
• (ინგლისური) at Scholarpedia, curated by Mads Tofte.