Содержание
14 отношения: Clean, Haskell, Scala (язык программирования), Scheme, Unlambda, Категориальная абстрактная машина, Кортеж (информатика), Конструктор типов, Непрерывность по Скотту, Сравнение языков программирования, Типизированное лямбда-исчисление, Функциональное программирование, Циклический порядок, Лямбда-исчисление.
Clean
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования.
Посмотреть Каррирование и Clean
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Посмотреть Каррирование и Haskell
Scala (язык программирования)
Scala — мультипарадигмальный язык программирования, спроектированный кратким и типобезопасным для простого и быстрого создания компонентного программного обеспечения, сочетающий возможности функционального и объектно-ориентированного программирования.
Посмотреть Каррирование и Scala (язык программирования)
Scheme
Scheme — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).
Посмотреть Каррирование и Scheme
Unlambda
Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore).
Посмотреть Каррирование и Unlambda
Категориальная абстрактная машина
Категориа́льная абстра́ктная маши́на (КАМ) — это модель вычисления программы, в которой сохраняются особенности аппликативного, функционального либо композиционного стиля.
Посмотреть Каррирование и Категориальная абстрактная машина
Кортеж (информатика)
Кортеж — упорядоченный набор фиксированной длины.
Посмотреть Каррирование и Кортеж (информатика)
Конструктор типов
В теории типов, конструктор типов представляет собой конструкцию полиморфно типизируемого формального языка, которая строит новые типы из старых.
Посмотреть Каррирование и Конструктор типов
Непрерывность по Скотту
Непрерывность по Скотту — свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка.
Посмотреть Каррирование и Непрерывность по Скотту
Сравнение языков программирования
В приведённой ниже таблице отмечено наличие или отсутствие тех или иных возможностей в некоторых популярных сегодня языках программирования.
Посмотреть Каррирование и Сравнение языков программирования
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами.
Посмотреть Каррирование и Типизированное лямбда-исчисление
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Посмотреть Каррирование и Функциональное программирование
Циклический порядок
right Циклический порядок — это способ расположения множества объектов на окружности.
Посмотреть Каррирование и Циклический порядок
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Посмотреть Каррирование и Лямбда-исчисление
Также известен как Карринг.