Я работаю над вопросами упражнения из книги Лямбда-исчисление .Один из вопросов, который я застрял,...

Я застрял на следующем шаге. Будет здорово, если кто-нибудь сможет мне помочь: 2 = λfx.f(f x) 3 =...

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

Иногда в Scheme у меня есть функции, которые принимают аргументы наподобие этого add 3 4 Что вы...

Я могу довольно просто определить церковные цифры, используя схему: > (define f (lambda (x) x))...

Что такое код Python в исчислении Хаскелла и Лямбды? def f1(): x = 77 def f2(): print x f2 f1 Моя...

в лямбда-исчислении (λ x. Λ y. Λ s. Λ z. X s (y s z)) используется для сложения двух церковных...

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

Я несколько раз пытался понять концепцию продолжений и call / cc . Каждая попытка была неудачной....

Лямбда-исчисление, конечно, довольно элегантно, но вас не беспокоит, что существует такая...

Например, чтобы это работало так toString (Var x) = "x"

Например, я хочу добавить два выражения e1 и e2 toString (Plus e1 e)= ?? Я предполагаю, что это...

Как я могу оценить выражение, учитывая список значений для переменных, которые оно содержит?...