Functional languages

Вики

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

/

NIL (язык программирования) История Lisp Lisp был изобретен Джоном Маккарти в 1958 году в Массачусетском технологическом институте.   Lisp использовался в

Вики

новыйЛИСП

/

Новый Лисп История и разработка newLISP разработан Лутцем Мюллером в 1991 году.   Первоначально разрабатывался на Sun-4, затем перешел на Windows

Вики

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

/

MDL (язык программирования) История и разработка MDL MDL (Model Development Language) разработан в 1971 году в Массачусетском технологическом институте (MIT)

Вики

*Лисп

/

*Шепелявость История создания *Лисп (StarLisp) был разработан в 1985 году Клиффом Лассером и Стивом Омохундро.   Целью было создание эффективного и

Вики

ЮЛисп

/

ЭуЛисп Происхождение и цели EuLisp разработан группой промышленных и академических пользователей и разработчиков Лиспа.   Цель: создать новый Lisp, менее обремененный

Вики

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

/

Arc (язык программирования) История и разработка Arc — диалект языка Lisp, разработанный Полом Грэмом и Робертом Моррисом   Выпущен под лицензией

Вики

ПОП-2

/

POP-2 История и разработка POP-2 разработан в 1970 году Робин Попплестоун и Родом Берстолом в Эдинбургском университете.   Основан на языках

Вики

КОУСЕЛ

/

КОРОВНИК История COWSEL Разработан Робином Попплстоуном в 1964-1966 годах   Основан на обратной польской нотации языка Lisp и идеях CPL   Реализован

Вики

Macintosh Common Lisp

/

Общий шепелявый язык Macintosh История и развитие MCL MCL (Macintosh Common Lisp) — реализация и интегрированная среда разработки для языка

Вики

Общий Лисп

/

Обычная шепелявость История и стандартизация Common Lisp (CL) разработан как стандартизированный преемник Maclisp   Стандарт ANSI Common Lisp опубликован в 1994

Вики

Общий Лисп

/

Обычная шепелявость История и стандартизация Common Lisp (CL) разработан как стандартизированный преемник Maclisp   Стандарт ANSI Common Lisp опубликован в 1994

Вики

Аллегро Common Lisp

/

Аллегро Обыкновенная шепелявость Описание Allegro Common Lisp Язык программирования с интегрированной средой разработки (IDE)   Диалект языка Lisp, коммерческая реализация Common

Вики

Coq (программное обеспечение)

/

Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году.  Он позволяет выражать математические

Вики

Зависимый ОД

/

Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году.  Является диалектом

Вики

Идрис (язык программирования)

/

Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением.  Разработан как

Вики

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

/

F* (язык программирования) Обзор языка программирования F* F* — это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями.  Основан на

Вики

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

/

ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си.  ATS объединяет формальную спецификацию

Вики

СИЗАЛЬ

/

СИЗАЛЬ Обзор языка программирования SISAL SISAL — функциональный язык общего назначения с одним назначением.  Обладает строгой семантикой, неявным параллелизмом и

Вики

ПоследовательностьL

/

Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций.  Язык был создан в Техасском

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