Явная замена
Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении. Стандартное лямбда-исчисление использует неявные […]
Вики
Lambda calculus
Вики
Обозначение де Брейна
Обозначение Де Брейна Основы нотации Де Брейна Нотация Де Брейна — это синтаксис λ-исчисления с измененным порядком аргументов. Условия в
Вики
Суперкомбинатор
Суперкомбинатор Определение суперкомбинатора Суперкомбинатор — это математическое выражение, которое является полностью связанным и самодостаточным. Суперкомбинаторы могут быть константами или комбинаторами,
Вики
Аппликативные вычислительные системы
Прикладные вычислительные системы Основы прикладных вычислительных систем ACS основаны на комбинаторной логике и лямбда-исчислении. Основное понятие — представление объекта. Комбинаторная
Вики
Подать заявку
Применять Определение и применение карри Карри — это функция, которая принимает функцию и возвращает новую функцию, которая применяет аргументы исходной
Вики
Анонимная функция
Анонимная функция Определение и использование анонимных функций Анонимные функции — это функции без явного имени, которые могут быть определены в
Вики
Лямбда-исчисление
Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах. Лямбда-термины представляют собой выражения, которые могут быть вычислены с
Вики
Комбинаторная логика
Комбинаторная логика Основы комбинаторной логики Комбинаторная логика — это формальная система, основанная на комбинаторах, введенных в 1924 году. Комбинаторы —
Вики
Просто типизированное лямбда-исчисление
Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с типами продуктов и операторами
Вики
Бета-нормальная форма
Бета-нормальная форма В лямбда-исчислении термин имеет бета-нормальную форму, если невозможно бета-сокращение. Термин имеет бета-эта нормальную форму, если невозможно ни бета-сокращение,
Вики
Нормальная форма (абстрактное переписывание)
Обычная форма (переписывание тезисов) Абстрактное переписывание: объект находится в нормальной форме, если его невозможно переписать дальше. Система перезаписи обладает свойством
Вики
Грамматика Монтегю
Грамматика Монтегю Ричард Монтегю разработал грамматику Монтегю для формализации естественного языка. Грамматика Монтегю основана на теории универсальной грамматики и семантике
Вики
Функция высшего порядка
Функция высшего порядка Функция высшего порядка (HOF) выполняет по крайней мере одно из действий: принимает функции в качестве аргументов или
Вики
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление Типизированные лямбда-вычисления являются фундаментальными языками программирования и основой типизированных функциональных языков. Они играют важную роль при разработке систем
Вики
Церковная кодировка
Церковное кодирование Церковные цифры используются для представления натуральных чисел в лямбда-исчислении. Церковные цифры могут быть представлены в виде пар или
Вики
Лямбда-исчисление
Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые могут быть вычислены с
Вики
Декартова закрытая категория
Декартова замкнутая категория Декартова замкнутая категория — категория с замкнутыми обратными связями и изоморфизмом между произведениями. Функциональный уровень программирования может