Камл
Камл Обзор языка программирования Caml Caml — это функциональный язык программирования высокого уровня, разработанный во Франции. Он является диалектом семейства […]
Функциональные языки
Вики
Чистый скрипт
Чистый скрипт Обзор PureScript PureScript — строго типизированный функциональный язык, компилируемый в JavaScript, C++11, Erlang, Go. Используется для веб- и
Вики
Elm (язык программирования)
Elm (язык программирования) Обзор Elm Elm — это специализированный язык для создания графических интерфейсов на основе веб-браузера. Язык функциональный, ориентирован
Вики
Чао (язык программирования)
Ciao (язык программирования) Основные характеристики Ciao Ciao — это язык программирования общего назначения с поддержкой различных стилей программирования. Цели проектирования
Вики
Эпиграмма (язык программирования)
Эпиграмма (язык программирования) Обзор Epigram Epigram — функциональный язык программирования с зависимыми типами и интегрированной средой разработки. Система типов Epigram
Вики
Язык программирования
Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана
Вики
Чистый (язык программирования)
Clean (язык программирования) Обзор Clean Clean — функциональный язык программирования общего назначения, разработанный в 1987 году. Язык имеет сходство с
Вики
Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические
Вики
Миранда (язык программирования)
Miranda (язык программирования) Обзор Miranda Miranda — это функциональный язык программирования, разработанный Дэвидом Тернером. Язык был выпущен в 1985 году
Вики
Стандартное машинное обучение
Стандартный МЛ Обзор стандарта ML ML — это функциональный язык программирования, разработанный в 1970-х годах. Он был создан для решения
Вики
Надежда (язык программирования)
Hope (язык программирования) История и особенности Hope Hope — функциональный язык программирования, созданный в 1970-х в Эдинбургском университете. Появился раньше
Вики
НПЛ (язык программирования)
NPL (язык программирования) История и особенности NPL NPL — функциональный язык программирования, разработанный в 1977 году Родом Берстоллом и Джоном
Вики
Юлия (язык программирования)
Julia (язык программирования) Обзор Julia Julia — это высокоуровневый язык программирования общего назначения, разработанный для научных вычислений и машинного обучения.
Вики
J (язык программирования)
J (язык программирования) Обзор языка программирования J J — язык программирования, разработанный в 1966 году для научных вычислений. J отличается
Вики
Lean (помощник по доказательству)
Lean (помощник по проверке) Обзор Lean Lean — это инструмент для верстки и функциональный язык программирования. Основан на индуктивных типах
Вики
Эликсир (язык программирования)
Elixir (язык программирования) Обзор Elixir Elixir — функциональный, параллельный язык программирования, работающий на виртуальной машине BEAM. Основан на Erlang, поддерживает
Вики
Эрланг (язык программирования)
Erlang (язык программирования) Обзор Erlang Erlang — функциональный язык программирования с акцентом на параллелизм и отказоустойчивость. Разработан в 1986 году
Вики
Ракетка (язык программирования)
Racket (язык программирования) Обзор Racket Racket — это язык программирования, разработанный MIT и доступный с 2003 года. Он основан на
Вики
Язык Wolfram
Язык Вольфрам Обзор Wolfram Language Wolfram Language — это универсальный язык программирования, разработанный Wolfram Research. Язык фокусируется на символьных вычислениях,
Вики
Общий Лисп
Обычная шепелявость Основы программирования на Common Lisp Common Lisp — это язык программирования, который сочетает в себе функциональное и объектно-ориентированное