Церковное кодирование
- Церковные цифры используются для представления натуральных чисел в лямбда-исчислении.
- Церковные цифры могут быть представлены в виде пар или одной пары.
- Основные операции со списками в лямбда-исчислении могут быть определены с использованием церковных пар или других кодировок.
- Кодирование Скотта является альтернативным представлением списков, использующим идею продолжений.
- В общем случае, алгебраический тип данных с альтернативами становится функцией с соответствующими параметрами.
Полный текст статьи:
Церковная кодировка — Википедия
Похожие статьи:
- Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
- Прусский союз церквей Оглавление1 Прусский союз церквей1.1 История Прусского союза церквей1.2 Политические и религиозные изменения1.3 Вторая мировая война и...
- Прусский союз церквей Оглавление1 Прусский союз церквей1.1 История Прусского союза церквей1.2 Политические и религиозные изменения1.3 Вторая мировая война и...
- Прусский союз церквей Оглавление1 Прусский союз церквей1.1 История Прусского союза церквей1.2 Политические и религиозные изменения1.3 Вторая мировая война и...
- Нейронное кодирование Оглавление1 Нейронное кодирование1.1 Нейронное кодирование1.2 Потенциалы действия1.3 Последовательности импульсов1.4 Методы анализа1.5 Кодирование и декодирование1.6 Схемы кодирования1.7...
- Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
- Лямбда Оглавление1 Лямбда-сигнал1.1 История и значение буквы “Лямбда”1.2 Варианты и использование в истории1.3 Символическое использование1.4 Лямбда в...
- Переписка Карри-Ховарда Оглавление1 Переписка Карри и Говарда1.1 Основы соответствия Карри-Говарда1.2 Связь с интуиционистской логикой1.3 Связь с типизированным лямбда-исчислением1.4...
- Кодировка (память) Оглавление1 Кодирование (память)1.1 История кодирования1.2 Типы кодирования1.3 Долгосрочное усиление1.4 Возбуждение и организация мозга1.5 Картографическая деятельность1.6 Молекулярная...
- Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 Основы лямбда-исчисления1.2 Альфа-эквивалентность и свободные переменные1.3 Примеры лямбда-терминов1.4 Редукция и условия свежести2 Лямбда-исчисление —...
- Типизированное лямбда-исчисление Оглавление1 Типизированное лямбда-исчисление1.1 Основы типизированных лямбда-исчислений1.2 Виды типизированных лямбда-исчислений1.3 Приложения к языкам программирования1.4 Дальнейшее чтение2 Типизированное...
- Восточные арабские цифры Оглавление1 Eastern Arabic numerals1.1 Восточные арабские цифры1.2 Происхождение1.3 Другие названия1.4 Цифры1.5 Написание цифр1.6 Современное использование2 Восточные...
- Определение лямбда-исчисления Оглавление1 Определение лямбда-исчисления1.1 Определение лямбда-исчисления1.2 Каноническое определение лямбда-исчисления1.3 Операторы и правила1.4 Стратегии оценки1.5 Нормальная форма и...
- Лямбда-мю-исчисление Оглавление1 Лямбда-математический анализ1.1 Основы лямбда-мю-исчисления1.2 Семантика и формальное определение1.3 Правила редукции1.4 Дополнительные правила сокращения1.5 Ссылки и...
- Тип юнита Оглавление1 Тип устройства1.1 Основы теории типов1.2 Реализация типов в языках программирования1.3 Различия между типом unit и...
- Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
- Лямбда-барион Оглавление1 Лямбда-барион1.1 Определение и свойства лямбда-барионов1.2 Открытие и свойства1.3 Экспериментальные подтверждения1.4 Наблюдения в атомных ядрах1.5 Типы...
- Рейх Конкордат Оглавление1 Рейхсконкордат1.1 Рейхсконкордат: история и значение1.2 Нарушения и протесты1.3 Контекст и предшествующие события1.4 Папа Пий XI...
- Стратегия сокращения Оглавление1 Стратегия сокращения выбросов1.1 Основы лямбда-исчисления1.2 Редукция нормального порядка1.3 Параллельная редукция1.4 Стратегии сокращения1.5 Лямбда-исчисление и редукция1.6...
- Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление – формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые...
- Просто типизированное лямбда-исчисление Оглавление1 Просто набранное лямбда-исчисление1.1 Основы просто типизированного лямбда-исчисления1.2 Синтаксис и семантика1.3 Операции и типы1.4 Категориальная семантика...
- Евангелическая церковь в Германии – Википедия Оглавление1 Евангелическая церковь в Германии1.1 История и структура EKD1.2 Историческое развитие1.3 Раскол и воссоединение1.4 Организационные особенности1.5...