Я пытаюсь преобразовать кодировку церкви в цифры. Я определил свое собственное лямбда-определение...

Я хотел бы создать простой синтаксический анализатор / анализатор типов / вычислитель для просто...

В настоящее время мы изучаем лямбда-исчисление и начали сокращение бета-версии. Наш лектор...

Я нашел только косвенную подсказку из Этап расширения SimpleExpr :: = SimpleExpr1`_ 'Выражение ? _...

Мне трудно понять лямбда-исчисление, и у меня есть два вопроса, которые я не знаю, как это сделать...

Мы изучаем подмножество Ракетки для класса. Книга, сопровождающая класс, всегда использует лямбду...

Я пытаюсь понять, как работает лямбда-исчисление и как упростить или расширить различные...

Я хочу проверить выражение POW: = λbλe. (E) b, подставив 2 и 2: (λbλe.(e)b)(λf1λx1.f1f1x1)(λf2λx2

Я новичок в функциональном программировании и F #. В качестве упражнения я пытаюсь реализовать...

Уже есть тонны DSL лямбда-исчисления или построения исчисления.Но как насчет Embedded DSL? В...

Я читаю книгу по λ-исчислению «Функциональное программирование через лямбда-исчисление» (Грег...

Я не совсем уверен, что почему вычислимые функции определяются как подмножество всех функций от /...

У меня есть следующая структура в haskell, которая реализует некоторые механизмы для печати и...

Какую арифметическую операцию вычисляет термин «λn.λm.m (MULT n) 1»? Это было указано в тексте...

Я хотел бы протестировать некоторые определения в системе F, используя Agda в качестве моего...

Мне нужно уменьшить следующие лямбда-выражения в обычную форму, используя нормальный порядок. Это...

Давайте определим тип списка list = forall 'a, 'x. ('a -> 'x -> 'x)...

Я понимаю, почему переименование переменных, чтобы избежать захвата, важно, но, в следующем примере...

Я пытаюсь реализовать логическое значение без Prelude в Haskell. Когда вычисляется выражение beq...

У меня есть несколько вопросов о реализации абстрактной машины CEK. Описание этого можно найти в...

В настоящее время я пытаюсь внедрить бета-версию в Haskell, и у меня небольшая проблема. Мне...

Согласно лямбда-исчислению, λxyz.xz(yz) следует рассматривать как применение от λxyz.xz до (yz) или...

Ради интереса я хочу написать парсер для нетипизированного лямбда-исчисления.Самый простой подход -...

Итак, у меня есть грамматика: termo : PESQ termo termo PDIR | PESQ LAMBDA listav PONTO termo PDIR |...

Итак, я изучаю лямбда-исчисление в Haskell и пытаюсь реализовать функцию isEven, которая возвращает...