ML (язык программирования)
- ML — функциональный язык программирования общего назначения с полиморфной системой типов Хиндли-Милнера.
- ML обеспечивает сопоставление с образцом, сборку мусора, императивное программирование, вызов по значению и каррирование.
- ML широко используется в исследованиях языков программирования и может быть полностью определен и проверен с использованием формальной семантики.
- ML использует статические правила определения области видимости и является нечистым функциональным языком, допускающим побочные эффекты.
- ML использует оперативное вычисление и может создавать бесконечные потоки, хотя их выражение является косвенным.
- Сильные стороны ML применяются при разработке языков и манипулировании ими, но это язык общего назначения, который также используется в биоинформатике и финансовых системах.
- ML был разработан Робином Милнером и другими специалистами в начале 1970-х годов и имеет несколько известных диалектов, включая стандартный ML, OCaml и F#.
Полный текст статьи: