Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические […]
Вики
Функциональные языки
Вики
Зависимый ОД
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом
Вики
Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как
Вики
F* (язык программирования)
F* (язык программирования) Обзор языка программирования F* F* — это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями. Основан на
Вики
ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Вики
ПоследовательностьL
Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций. Язык был создан в Техасском
Вики
Красный (язык программирования)
Красный (язык программирования) Обзор языка программирования Red Red был разработан для преодоления ограничений Rebol и представлен в 2011 году. Он
Вики
МультиЛисп
Мультилисп Обзор MultiLisp MultiLisp — функциональный язык программирования, расширяющий Lisp для параллельных вычислений. Язык обладает недетерминированными свойствами из-за побочных эффектов.
Вики
Хьюм (язык программирования)
Hume (язык программирования) Обзор языка программирования Hume Hume — это функциональный язык программирования, разработанный в Шотландии с 2000 года. Название
Вики
Параллельное машинное обучение
Одновременный ML Основы Concurrent ML Concurrent ML — это функциональный язык программирования, который расширяет стандартный ML для поддержки параллелизма. Он
Вики
Параллельный Haskell
Параллельный Haskell Основы Concurrent Haskell Concurrent Haskell расширяет Haskell 98 для поддержки параллелизма. Основные концепции включают примитивный тип MVar и
Вики
Программирование вычислимых функций
Программирование вычислимых функций Основы PCF PCF — это функциональный язык программирования, введенный Гордоном Плоткиным в 1977 году. Он является расширением
Вики
Maple (программное обеспечение)
Maple (программное обеспечение) История и развитие Maple Maple был разработан в 1975 году в Университете Ватерлоо. Первая версия была выпущена
Вики
Магма (система компьютерной алгебры)
Magma (система компьютерной алгебры) Обзор системы Magma Magma — это система компьютерной алгебры для решения задач по алгебре, теории чисел,