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 წელს).

მაგალითები[რედაქტირება]

ფაქტორიალი:

fun fact 0 = 1
           n = n * fact(n-1)

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

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

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

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 *)


რესურსები ინტერნეტში[რედაქტირება]

მოძიებულია „http://ka.wikipedia.org/w/index.php?title=Standard_ML&oldid=2385863“-დან