Церковная кодировка

От / / Оставьте комментарий

Церковное кодирование Церковные цифры используются для представления натуральных чисел в лямбда-исчислении.  Церковные цифры могут быть представлены в виде пар или […]

Lambda calculus, лямбда-исчисление

Церковное кодирование

  • Церковные цифры используются для представления натуральных чисел в лямбда-исчислении. 
  • Церковные цифры могут быть представлены в виде пар или одной пары. 
  • Основные операции со списками в лямбда-исчислении могут быть определены с использованием церковных пар или других кодировок. 
  • Кодирование Скотта является альтернативным представлением списков, использующим идею продолжений. 
  • В общем случае, алгебраический тип данных с альтернативами становится функцией с соответствующими параметрами. 

Полный текст статьи:

Церковная кодировка — Википедия

Похожие статьи:

  1. Лямбда Лямбда-сигнал История и значение буквы «Лямбда» Лямбда — 11-я буква греческого алфавита, имеет числовое значение 30. ...
  2. Лямбда-исчисление Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые...
  3. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными...
  4. Тип юнита Тип устройства Основы теории типов Тип единицы измерения — это тип с одним значением.  Тип объекта...
  5. Определение лямбда-исчисления Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. ...
  6. Лямбда-мю-исчисление Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ...
  7. Зависимый тип Зависимый тип Основы теории зависимых типов Теория зависимых типов (ТДТ) расширяет систему типов, добавляя зависимые типы. ...
  8. Восточные арабские цифры Eastern Arabic numerals Восточные арабские цифры Восточные арабские цифры используются в странах Ближнего Востока, Аравийского полуострова...
  9. Лямбда-барион Лямбда-барион Определение и свойства лямбда-барионов Лямбда-барионы — это адронные частицы с одним верхним, одним нижним кварками...
  10. Стратегия сокращения Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция...
  11. Просто типизированное лямбда-исчисление Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с...
  12. Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов.  Лямбда-термины представляют собой выражения, которые...
  13. Кодирование Голомба Кодирование Голомба Основы кодирования Голомба-Райса Кодирование Голомба-Райса — это метод энтропийного кодирования, разработанный Соломоном У. Голомбом...
  14. Лямбда-куб — ​​Википедия Лямбда-кубик Определение лямбда-куба Лямбда-куб — это система для описания и изучения чистых типов.  Включает в себя...
  15. Термин (логика) Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании.  Лямбда-исчисление является формализмом...
  16. Комбинатор с фиксированной точкой Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой —...
  17. Кодирование Хаффмана Кодирование Хаффмана Основы кодирования Хаффмана Кодирование Хаффмана — это метод сжатия данных, основанный на использовании префиксных...

Оставьте комментарий

Прокрутить вверх