lambda-calculus

0зной

1ответ

Я копал в FP и все, что его окружало, и я нашел концепцию любезного проектора, написанную где-то, без подробностей и объяснений. Единственное, что я нашел, это github project, и я начинаю думать, если

1зной

1ответ

Lambda calculus interpreter с проблемами вывода

Следующий код - интерпретатор исчисления лямбда. Я не могу заставить программу распечатать результат кода до console.log. class Token { // type should be one of the valid token types listed

0зной

1ответ

Квантификаторы в лямбда-исчислении

Я изучаю лямбда-исчисление, однако я довольно смущен кванторами в лямбда-исчислении. Насколько я знаю, кванторы, такие как «∃», представляют собой концепции логики первого порядка (FOL), которые не ну

1зной

1ответ

Докажите, что последовательность шагов завершается

У меня есть небольшая система, которая переписывает лямбда-термины. Он имеет обычные (три) детерминированные правила переписывания по значению. Я не перечислил их здесь. Перезаписи моделируются как St

4зной

1ответ

Пример замены времени компиляции, ухудшающего программу

Представьте себе наивный компилятор типизированного лямбда-исчисления (чтобы исключить довольно болезненную проблему бездействия и неявной рекурсии), которая использует нормализацию (включая замены по

2зной

1ответ

Реализация Альфа-Эквивалентность в Haskell

Я хочу, чтобы определить альфа-эквивалентностью с использованием этого определения данных type Sym = Char data Exp = Var Sym | App Term Exp | Lam Sym Exp deriving (Eq, Read, Show) Что такое лучший

2зной

2ответ

Haskell AST с рекурсивными типами

В настоящее время я пытаюсь построить решатель расчета лямбда-исчисления, и у меня есть небольшая проблема с построением AST. Термин лямбда-исчисление индуктивно определяется следующим образом: 1) Пер