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

Нет описания правки
(→‎Сайты о функциональном программировании: Harlequin ML is dead link; changed to wayback link)
#'''[[w:Caml Light|Caml Light]]''' и '''Objective Caml'''. Как и Standard ML принадлежит к семейству ML. Objective Caml отличается от Caml Light в основном поддержкой классического объектно-ориентированного программирования. Также как и Standard ML строгий, но имеет некоторую встроенную поддержку отложенных вычислений.
#'''Miranda'''. Разработан [[w:Тёрнер, Дэвид|Дэвидом Тёрнером]], в качестве стандартного функционального языка, использовавшего отложенные вычисления. Имеет строгую полиморфную систему типов. Как и ML преподаётся во многих университетах. Оказал большое влияние на разработчиков языка Haskell.
#'''Haskell'''. Один из самых распространённых нестрогихстрогих языков. Имеет очень развитую систему типизации. Несколько хуже разработана система модулей. Последний стандарт языка — Haskell-98.
#'''Gofer''' (GOod For Equational Reasoning). Упрощённый диалект Haskell’а. Предназначен для обучения функциональному программированию.
#'''Clean'''. Специально предназначен для параллельного и распределённого программирования. По синтаксису напоминает Haskell. Чистый. Использует отложенные вычисления. С компилятором поставляется набор библиотек (I/O libraries), позволяющих программировать графический пользовательский интерфейс под [[w:Windows API|Win32]] или [[w:Mac OS|Mac OS]].
Анонимный участник