Просмотр кода страницы ML

{{другие значения}}
{{Карточка языка программирования 
| name = ML 
| semantics =  [[Мультипарадигменный язык программирования|мультипарадигменный]]: [[Функциональное программирование|функциональный]], [[Императивное программирование|императивный]], [[модульное программирование|модульный]]
| year = 1973 
| designer = [[Робин Милнер]] и др. - [[Эдинбургский университет]] 
| typing = [[Сильная и слабая типизация|сильная]], [[статическая типизация|статическая]], [[вывод типов|выводная]]
| dialects = [[Standard ML]], [[Caml Light]], [[OCaml]], [[F Sharp|F#]]<ref>[http://c2.com/cgi/wiki?MlLanguage Ml Language] {{Wayback|url=http://c2.com/cgi/wiki?MlLanguage |date=20151010043558 }}, c2.com</ref>, [[LazyML]]
| influenced = [[Миранда (язык программирования)|Miranda]], [[Haskell]], [[Cyclone (язык программирования)|Cyclone]], [[Nemerle]], [[C++]]
| influenced by          = [[ISWIM]]
}}

'''ML''' (Meta Language) — семейство [[Строгие вычисления|строгих]] [[язык функционального программирования|языков функционального программирования]] с развитой [[параметрический полиморфизм|параметрически полиморфной]] [[система типов|системой типов]] и параметризуемыми модулями. Подобная система типов была раньше предложена [[Хиндли, Роджер|Роджером Хиндли]] в [[1969 год]]у и сейчас часто называется [[Система типов Хиндли — Милнера|системой Хиндли-Милнера]]. Языки данного семейства в большинстве своём не являются [[чистота языка программирования|чистыми]] функциональными языками, так как включают и императивные инструкции (но есть исключения — например, [[Standard ML#Manticore|Manticore]]). ML преподаётся во многих западных университетах (в некоторых даже как первый язык программирования).

== Предпосылки и история языка==
В [[1963 год]]у [[Джон Алан Робинсон]] реализовал метод автоматического доказательства теорем, получивший название «[[принцип резолюции]]». Идея этого метода принадлежит [[Эрбран, Жак|Эрбрану]]; она была предложена в [[1930 год]]у. Робинсон разработал эффективный с вычислительной точки зрения [[алгоритм унификации]], являющийся основой метода. 

В 1969 году [[Дана Скотт]] распространил меморандум, официально не опубликованный до  1993 года<ref>Dana S. Scott. "[https://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf A type-theoretical alternative to ISWIM, CUCH, OWHY] {{Wayback|url=https://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf |date=20201111194155 }}". ''Theoretical
Computer Science'', '''121''':411–440, 1993. Annotated version of the 1969 manuscript.</ref>. В меморандуме была предложена дедуктивная система Logic for Computable Functions (LCF) - "логика для вычислимых функций". [[Logic for Computable Functions|Одноименную систему]], предназначенную для автоматизации доказательства теорем, в начале 1970-х годов начали разрабатывать [[Милнер, Робин|Робин Милнер]] и его сотрудники в Стэнфорде и Эдинбурге.

Первая версия языка ML была разработана как внутренний язык этой системы. Как стало понятно пользователям системы, язык хорошо подходил и в качестве языка программирования общего назначения. Это повлекло последующее появление большого числа его реализаций.

== Особенности ==
В основе строгой и статической системы типов языка лежит [[лямбда-исчисление]], к которому добавлена [[строгая типизация]]. Строгая система типов дает возможности для оптимизации, поэтому вскоре появляется компилятор языка. В системе типов Хиндли-Милнера ограниченно полиморфная система типов, где большинство типов выражений может быть [[вывод типов|выведено автоматически]]. Это даёт возможность программисту не описывать явно типы функций, но сохранить строгий контроль типов.

ML является интерактивным языком. Каждое введённое предложение анализируется, компилируется и исполняется, и значение, полученное в результате исполнения предложения, вместе с его типом выдаётся пользователю. В языке поддерживается обработка исключительных событий.

== Примеры ==

Вычисление [[факториал]]а на ML:
<source lang="sml">
fun fac(n) = if n = 0 then 1 else n * fac(n-1);
</source>

Хорошим примером, позволяющим оценить [[Выразительность (программирование)|выразительную силу]] ML, служит реализация {{iw|Троичное дерево поиска|троичных деревьев поиска|en|Ternary search tree}}:
<source lang="sml">
type key = Key.ord_key
type item = Key.ord_key list
datatype set = LEAF | NODE of { key: key, lt: set, eq: set, gt: set }
val empty = LEAF
exception AlreadyPresent

fun member (_, LEAF) = false
  | member (h::t, NODE {key,lt,eq,gt}) =
      (case Key.compare (h, key) of
            EQUAL   => member(t, eq)
          | LESS    => member(h::t, lt)
          | GREATER => member(h::t, gt) )
  | member ([], NODE {key,lt,eq,gt}) =
      (case Key.compare (Key.sentinel, key) of
            EQUAL   => true
          | LESS    => member([], lt)
          | GREATER => member([], gt) )

fun insert(h::t, LEAF) = NODE { key=h, eq = insert(t, LEAF), lt=LEAF, gt=LEAF }
  | insert([], LEAF)   = NODE { key=Key.sentinel, eq=LEAF, lt=LEAF, gt=LEAF }
  | insert(h::t, NODE {key,lt,eq,gt}) =
      (case Key.compare (h, key) of
            EQUAL   => NODE {key=key, lt=lt, gt=gt, eq=insert(t, eq)}
          | LESS    => NODE {key=key, lt=insert(h::t, lt), gt=gt, eq=eq}
          | GREATER => NODE {key=key, lt=lt, gt=insert(h::t, gt), eq=eq} )
  | insert([], NODE {key,lt,eq,gt}) =
      (case Key.compare (Key.sentinel, key) of
            EQUAL   => raise AlreadyPresent
          | LESS    => NODE {key=key, lt=insert([], lt), gt=gt, eq=eq}
          | GREATER => NODE {key=key, lt=lt, gt=insert([], gt), eq=eq} )

fun add(l, n) = insert(l, n) handle AlreadyPresent => n
</source>
Для задачи поиска строки в словаре {{iw|троичное дерево поиска||en|Ternary search tree}} сочетает молниеносную скорость [[префиксное дерево|префиксных]] деревьев с экономичностью [[двоичное дерево|двоичных]] в отношении памяти. Реализация на ML отличается компактностью и самодокументируемостью за счёт использования [[алгебраический тип данных|алгебраических типов]], [[сопоставление с образцом|сопоставления с образцом]], правила «''последнее выражение в исполнимой цепочке является результатом всей функции''» и возможности строить объекты агрегатных типов без предварительных объявлений. Также она отличается [[Типобезопасность|доказанной корректностью]] — в частности, исключением [[Утечка памяти|утечек памяти]], характерных для {{nobr|[[Си (язык программирования)|Си]] / [[C++]]}}; или риска допущения ошибок в исходном коде, приводящих к зацикливанию программы с лавинообразным поглощением памяти, характерных для [[Динамическая типизация|динамически типизируемых]] языков.

[[Система типов Хиндли — Милнера]] обеспечивает языкам высокий потенциал к оптимизации, так что снижение трудоёмкости и повышение стабильности программ является «бесплатным» (без потери эффективности) при условии наличия [[оптимизирующий компилятор|оптимизирующего компилятора]] (таких как [[OCaml]] или [[MLton]]).

== См. также ==
* [[Язык модулей ML]]
* [[Standard ML]]
* [[OCaml]]
* [[Haskell]]
*[[F Sharp|F#]]
* [[F*]]

== Примечания ==
{{примечания}}

== Ссылки ==
* [http://progopedia.ru/language/ml Статья ML] в [[Прогопедия|Прогопедии]] — энциклопедии языков программирования{{ref|ru}}
* [http://hyperpolyglot.org/ml ML Dialects and Haskell: SML, OCaml, F#, Haskell] — сравнение ряда языков семейства ML

{{перевести|en|ML (programming language)}}

[[Категория:Языки программирования семейства ML|*]]