Functional languages

Вики

МультиЛисп

/

Мультилисп Обзор MultiLisp MultiLisp – функциональный язык программирования, расширяющий Lisp для параллельных вычислений.  Язык обладает недетерминированными свойствами из-за побочных эффектов. 

Вики

ДжоКамл

/

JoCaml (Джокамл) Обзор языка программирования JoCaml JoCaml – экспериментальный язык программирования, основанный на OCaml.  Язык сочетает в себе параллельное и

Вики

Хьюм (язык программирования)

/

Hume (язык программирования) Обзор языка программирования Hume Hume – это функциональный язык программирования, разработанный в Шотландии с 2000 года.  Название

Вики

Параллельный Haskell

/

Параллельный Haskell Основы Concurrent Haskell Concurrent Haskell расширяет Haskell 98 для поддержки параллелизма.  Основные концепции включают примитивный тип MVar и

Вики

Ребол

/

Ребол Обзор языка программирования Rebol Rebol – это гомоиконический язык программирования, разработанный Дугласом Крокфордом.  Он отличается от других языков программирования

Вики

Интерлисп

/

Интерлисп История Interlisp Interlisp основан на языке программирования Lisp и разработан в 1966 году.  В 1970 году BBN LISP внедрен

Вики

Хаксе

/

Хаксе Обзор Haxe Haxe – это язык программирования с открытым исходным кодом, который позволяет создавать кроссплатформенные приложения.  Он поддерживает объектно-ориентированное,

Вики

Матита

/

Матита Обзор инструмента Matita Matita – это ассистент по экспериментальному тестированию в Болонском университете.  Инструмент объединяет формальные доказательства, исполняемые алгоритмы

Вики

Унлямбда

/

Унламбда Основные принципы Unlambda Unlambda – это функциональный язык программирования без лямбда-оператора и свободных переменных.  Он основан на комбинаторной логике

Вики

Камл

/

Камл Обзор языка программирования Caml Caml – это функциональный язык программирования высокого уровня, разработанный во Франции.  Он является диалектом семейства

Вики

Чистый скрипт

/

Чистый скрипт Обзор PureScript PureScript – строго типизированный функциональный язык, компилируемый в JavaScript, C++11, Erlang, Go.  Используется для веб- и

Вики

Elm (язык программирования)

/

Elm (язык программирования) Обзор Elm Elm – это специализированный язык для создания графических интерфейсов на основе веб-браузера.  Язык функциональный, ориентирован

Вики

Чао (язык программирования)

/

Ciao (язык программирования) Основные характеристики Ciao Ciao – это язык программирования общего назначения с поддержкой различных стилей программирования.  Цели проектирования

Вики

Эпиграмма (язык программирования)

/

Эпиграмма (язык программирования) Обзор Epigram Epigram – функциональный язык программирования с зависимыми типами и интегрированной средой разработки.  Система типов Epigram

Вики

Язык программирования

/

Agda (язык программирования) Обзор Agda Agda – функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом.  Система Agda была разработана

Прокрутить вверх