www.wikidata.uk-ua.nina.az

ML У Вікіпедії є статті про інші значення цього терміна значення Meta Language сімейство строго типізованих мов функціон

ML

У Вікіпедії є статті про інші значення цього терміна: ML (значення).

ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз[коли?] часто називається системою Гіндлі-Мілнера. Мови даного сімейства не є чистими функціональними мовами, тому що включають і імперативні інструкції. ML викладається у багатьох західних університетах (в деяких навіть як перша мова програмування).

Передумови Редагувати

В 1963 у Джон Алан Робінсон реалізував метод автоматичного доведення теорем, що отримав назву «принцип резолюції». Ідея цього методу належить Жаку Ербрану, і запропонована у 1930. Робінсон розробив ефективний з обчислювальної точки зору алгоритм уніфікації, що є основою методу. Так з'явилася мова ML, створена для автоматичного доведення теорем, але як виявилося придатна і як мова програмування загального призначення.

Особливості Редагувати

В основі строгої і статичної системи типів мови лежить лямбда-числення, до якого додана строга типізація. Строга система типів робить можливості для оптимізації, тому незабаром з'являється компілятор мови. В системі типів Гіндлі-Мілнера обмежено поліморфна система типів, де більшість типів виразів може бути виведено автоматично. Це дає можливість програмісту не описувати явно типи функцій, але зберегти строгий контроль типів.

Приклад Редагувати

Обчислення факторіалу на ML:

fun fac(n) = if n = 0 then 1 else n * fac(n-1);

Див. також Редагувати

Посилання Редагувати

  • Стаття ML [ 10 травня 2013 у Wayback Machine.] у Прогопедії — енциклопедії мов програмування(рос.)


Це незавершена стаття про мови програмування.
Ви можете допомогти проєкту, виправивши або дописавши її.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри
Дата публікації:
U Vikipediyi ye statti pro inshi znachennya cogo termina ML znachennya ML Meta Language simejstvo strogo tipizovanih mov funkcionalnogo programuvannya z rozvinenoyu polimorfnoyu sistemoyu tipiv i modulyami sho parametrizuyutsya Podibna sistema tipiv bula ranishe zaproponovana Rodzherom Gindli u 1969 roci i zaraz koli chasto nazivayetsya sistemoyu Gindli Milnera Movi danogo simejstva ne ye chistimi funkcionalnimi movami tomu sho vklyuchayut i imperativni instrukciyi ML vikladayetsya u bagatoh zahidnih universitetah v deyakih navit yak persha mova programuvannya MLParadigma Procedurne programuvannya Funkcijne programuvannya i imperativne programuvannyaData poyavi 1973Tvorci Robin Milner ta in Edinburzkij universitetRozrobnik Robin MilnerSistema tipizaciyi stroga statichna vivid tipivDialekti Standard ML Caml Light OCaml F LazyML OcaMlPid vplivom vid ISWIMdVplinula na Miranda Haskell Cyclone Nemerle C ElmZmist 1 Peredumovi 2 Osoblivosti 3 Priklad 4 Div takozh 5 PosilannyaPeredumovi RedaguvatiV 1963 u Dzhon Alan Robinson realizuvav metod avtomatichnogo dovedennya teorem sho otrimav nazvu princip rezolyuciyi Ideya cogo metodu nalezhit Zhaku Erbranu i zaproponovana u 1930 Robinson rozrobiv efektivnij z obchislyuvalnoyi tochki zoru algoritm unifikaciyi sho ye osnovoyu metodu Tak z yavilasya mova ML stvorena dlya avtomatichnogo dovedennya teorem ale yak viyavilosya pridatna i yak mova programuvannya zagalnogo priznachennya Osoblivosti RedaguvatiV osnovi strogoyi i statichnoyi sistemi tipiv movi lezhit lyambda chislennya do yakogo dodana stroga tipizaciya Stroga sistema tipiv robit mozhlivosti dlya optimizaciyi tomu nezabarom z yavlyayetsya kompilyator movi V sistemi tipiv Gindli Milnera obmezheno polimorfna sistema tipiv de bilshist tipiv viraziv mozhe buti vivedeno avtomatichno Ce daye mozhlivist programistu ne opisuvati yavno tipi funkcij ale zberegti strogij kontrol tipiv Priklad RedaguvatiObchislennya faktorialu na ML fun fac n if n 0 then 1 else n fac n 1 Div takozh RedaguvatiSistema FPosilannya RedaguvatiStattya ML Arhivovano 10 travnya 2013 u Wayback Machine u Progopediyi enciklopediyi mov programuvannya ros https web archive org web 20120718184406 http schools keldysh ru sch444 museum LANR ml htm nbsp Ce nezavershena stattya pro movi programuvannya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Otrimano z https uk wikipedia org w index php title ML amp oldid 37577967