Основы функционального программирования/Вводная лекция: различия между версиями

#'''[[w:Caml Light|Caml Light]]''' и '''Objective Caml'''. Как и Standard ML принадлежит к семейству ML. Objective Caml отличается от Caml Light в основном поддержкой классического объектно-ориентированного программирования. Также как и Standard ML строгий, но имеет некоторую встроенную поддержку отложенных вычислений.

#'''Miranda'''. Разработан [[w:Тёрнер, Дэвид|Дэвидом Тёрнером]], в качестве стандартного функционального языка, использовавшего отложенные вычисления. Имеет строгую полиморфную систему типов. Как и ML преподаётся во многих университетах. Оказал большое влияние на разработчиков языка Haskell.

#'''Gofer''' (GOod For Equational Reasoning). Упрощённый диалект Haskell’а. Предназначен для обучения функциональному программированию.

#'''Clean'''. Специально предназначен для параллельного и распределённого программирования. По синтаксису напоминает Haskell. Чистый. Использует отложенные вычисления. С компилятором поставляется набор библиотек (I/O libraries), позволяющих программировать графический пользовательский интерфейс под [[w:Windows API|Win32]] или [[w:Mac OS|Mac OS]].