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 factorial 0 = 1
  | factorial n = n * factorial (n-1)

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

  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

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

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


რესურსები ინტერნეტში[რედაქტირება | წყაროს რედაქტირება]

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