Standard ML
From Wikipedia, the free encyclopedia
Standard ML-ը (SML), ընդհանուր նշանակության, մոդուլյար, ֆունկցիոնալ ծրագրավորման լեզու է՝ կոմպիլյացիայի ժամանակ տիպերի ստուգման և տիպերի ավտոմատ դուրսբերման ներդրված մեխանիզմներով։ Այն առավել հայտնի է կոմպիլյատորների ստեղծման, ծրագրավորման լեզուների հետազոտման, ինչպես նաև թեորեմների ավտոմատ ապացուցման ոլորտներում)[2] ։
Արագ փաստեր Տեսակ, Կատարման ձև ...
Տեսակ | dialect?, ծրագրավորման պրոցեդուրային լեզու, ծրագրավորման ինտերպրետացվող լեզու և ֆունկցիոնալ ծրագրավորման լեզու |
---|---|
Կատարման ձև | կոմպիլյացիա, ինտերպրետացիա |
Առաջացել է | 1983[1] |
Ընդլայնումներ | .sml |
Տիպիզացիա | ստատիկ, խիստ, տիպի դուրսբերում |
Համացանցի տվյալների տեսակ | անհայտ |
Հիմնական իրականացումներ | SML/NJ, Moscow ML, Poly ML |
Հիմքի վրա է | ML |
Ներշնչվել է | ML, Hope |
Ներշնչել է | OCaml, Rust |
Կայք | smlfamily.github.io(անգլ.) |
Փակել
SML-ը «Հաշվարկելի ֆունկցիաների տրամաբանություն» թեորեմների ավտոմատ ապացուցման նախագծում օգտագործվող ML ծրագրավորման լեզվի ժամանակակից զարգացումն է։