Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические […]
Вики
Functional languages
Вики
Миранда (язык программирования)
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 — это язык программирования, который сочетает в себе функциональное и объектно-ориентированное
Вики
APL (язык программирования)
APL (язык программирования) История и развитие APL APL — язык программирования, разработанный в 1958 году Кеном Айверсоном. Изначально использовался для
Вики
Лисп (язык программирования)
Лисп (язык программирования) История и развитие Lisp Lisp был разработан Джоном Маккарти в 1958 году для искусственного интеллекта. Lisp стал
Вики
Rust (язык программирования)
Rust (язык программирования) Rust — язык программирования с акцентом на безопасность, производительность и параллелизм. Rust использует статическую диспетчеризацию для определения
Вики
Ruby (язык программирования)
Ruby (язык программирования) Ruby — язык программирования с открытым исходным кодом, созданный в 1995 году Юкихиро Мацумото. Ruby поддерживает объектно-ориентированное