Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типізацією та автоматичним виведенням типів.
| Standard ML | |
|---|---|
| Парадигма | процедурне програмування, імперативне програмування, модульне програмування і функційне програмування |
| Дата появи | 1983[1] |
| Система типізації | вивід типів, строга типізація і статична |
| Під впливом від | ML |
| Звичайні розширення файлів | .sml |
| Вебсайт | smlfamily.github.io |
SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.
Реалізації та компілятори
- Poly/ML [ 27 червня 2020 у Wayback Machine.]
- Standard ML of New Jersey [ 1 травня 2020 у Wayback Machine.]
- MLton [ 3 січня 2009 у Wayback Machine.]
- Moscow ML [ 11 січня 2016 у Wayback Machine.]
- SML.NET [ 29 січня 2016 у Wayback Machine.]
Навчальні матеріали
- (англ.) Dan Grossman, CSE341: Programming Languages [ 1 жовтня 2013 у Wayback Machine.], University of Washington. Також на Coursera [ 29 січня 2016 у Wayback Machine.] та YouTube [ 13 серпня 2020 у Wayback Machine.].
- (англ.) Stephen Gilmore, Programming in Standard ML '97: An On-line Tutorial [ 17 січня 2016 у Wayback Machine.], University of Edinburgh. Також у форматі PDF [ 2 липня 2016 у Wayback Machine.].
- (англ.) Robert Harper, Programming in Standard ML [ 15 лютого 2020 у Wayback Machine.], Carnegie Mellon University.
Примітки
- https://www.smlnj.org/sml97.html
- Milner, R.; Mads Tofte, Robert Harper and David MacQueen. (1997). . MIT Press. . Архів оригіналу за 29 січня 2016. Процитовано 23 січня 2016.
Див. також
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Standard ML SML funkcionalna mova programuvannya zagalnogo priznachennya zi statichnoyu tipizaciyeyu ta avtomatichnim vivedennyam tipiv Standard MLParadigma procedurne programuvannya imperativne programuvannya modulne programuvannya i funkcijne programuvannyaData poyavi 1983 1 Sistema tipizaciyi vivid tipiv stroga tipizaciya i statichnaPid vplivom vid MLZvichajni rozshirennya fajliv smlVebsajt smlfamily github io SML ye suchasnim prodovzhennyam movi programuvannya ML Na vidminu vid bilshosti inshih mov programuvannya SML maye formalnu specifikaciyu vpershe nadrukovanu v 1990 ta onovlenu v 1997 roci Realizaciyi ta kompilyatoriPoly ML 27 chervnya 2020 u Wayback Machine Standard ML of New Jersey 1 travnya 2020 u Wayback Machine MLton 3 sichnya 2009 u Wayback Machine Moscow ML 11 sichnya 2016 u Wayback Machine SML NET 29 sichnya 2016 u Wayback Machine Navchalni materiali angl Dan Grossman CSE341 Programming Languages 1 zhovtnya 2013 u Wayback Machine University of Washington Takozh na Coursera 29 sichnya 2016 u Wayback Machine ta YouTube 13 serpnya 2020 u Wayback Machine angl Stephen Gilmore Programming in Standard ML 97 An On line Tutorial 17 sichnya 2016 u Wayback Machine University of Edinburgh Takozh u formati PDF 2 lipnya 2016 u Wayback Machine angl Robert Harper Programming in Standard ML 15 lyutogo 2020 u Wayback Machine Carnegie Mellon University Primitkihttps www smlnj org sml97 html Milner R Mads Tofte Robert Harper and David MacQueen 1997 MIT Press ISBN 0 262 63181 4 Arhiv originalu za 29 sichnya 2016 Procitovano 23 sichnya 2016 Div takozhOCaml