Карри (язык программирования)
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 — процедурный язык программирования, разработанный Никлаусом Виртом. Язык включает традиционные управляющие структуры и структурирование данных, такие