FL (язык программирования)
FL (язык программирования) История и разработка FL (Функциональный уровень) создан в 1980-х годах в IBM в Альмадене. Разработан Джоном Бэкусом, […]
Вики
Academic programming languages
Вики
Карри (язык программирования)
Curry (язык программирования) Основы функционального логического программирования Функциональные программы состоят из уравнений или правил для определения значений. Вычисления заменяют подвыражения
Вики
Программирование вычислимых функций
Программирование вычислимых функций Основы PCF PCF — это функциональный язык программирования, введенный Гордоном Плоткиным в 1977 году. Он является расширением
Вики
Эпиграмма (язык программирования)
Эпиграмма (язык программирования) Обзор Epigram Epigram — функциональный язык программирования с зависимыми типами и интегрированной средой разработки. Система типов Epigram
Вики
Язык программирования
Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана
Вики
Надежда (язык программирования)
Hope (язык программирования) История и особенности Hope Hope — функциональный язык программирования, созданный в 1970-х в Эдинбургском университете. Появился раньше
Вики
НПЛ (язык программирования)
NPL (язык программирования) История и особенности NPL NPL — функциональный язык программирования, разработанный в 1977 году Родом Берстоллом и Джоном
Вики
FP (язык программирования)
FP (язык программирования) Основы функционального программирования (FP) FP разработан Джоном Бэкусом для поддержки функционального программирования. FP избегает именованных переменных и
Вики
Ракетка (язык программирования)
Racket (язык программирования) Обзор Racket Racket — это язык программирования, разработанный MIT и доступный с 2003 года. Он основан на
Вики
Схема (язык программирования)
Схема (язык программирования) История и развитие Scheme Scheme — это функциональный язык программирования, разработанный в 1975 году. Он был создан
Вики
Лисп (язык программирования)
Лисп (язык программирования) История и развитие Lisp Lisp был разработан Джоном Маккарти в 1958 году для искусственного интеллекта. Lisp стал
Вики
Пико (язык программирования)
Pico (язык программирования) Pico — язык программирования, разработанный в лаборатории языков программирования Брюссельского университета Vrije. Язык создан для ознакомления с
Вики
ML (язык программирования)
ML (язык программирования) ML — функциональный язык программирования общего назначения с полиморфной системой типов Хиндли-Милнера. ML обеспечивает сопоставление с образцом,
Вики
Паскаль (язык программирования)
Паскаль (язык программирования) Pascal — процедурный язык программирования, разработанный Никлаусом Виртом. Язык включает традиционные управляющие структуры и структурирование данных, такие