В разделе «Типы и языки программирования» в разделе 6.1.2 говорится о контексте именования ,...

Я только что нашел следующее выражение лямбда-исчисления: (((λ f . (λ x . (f x))) (λ a . a)) (λ b ....

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

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

(Я уверен, что на этом сайте уже должен быть ответ, но поиск затоплен концепцией вызова free () для...

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

class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b...

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

Я не могу объяснить термин лямбда-куб гораздо лучше, чем в Википедии: [...] λ-куб является основой...

К настоящему времени известной теоремой лямбда-исчисления является то, что любая функция,...

Я должен взять этот код: f x y z = x^3 - g (x + g (y - g z) + g (z^2)) where g x = 2*x^2 + 10*x + 1...

Комбинатор K равен K := (λxy.x), а комбинатор с фиксированной точкой - Y := λf.(λx.f x x) (λx.f x...

Есть ли интерпретатор (или компилятор) для нетипизированного лямбда-исчисления? (Согласно этой теме...

Я начинаю изучать лямбда-исчисление, и мне нужно внедрить комбинаторы I, S, K в Erlang. Конечно, S,...

У меня есть лямбда-лямбда-выражение: λx. (Λy. (Λz.x (yz))) Я пытаюсь написать из него выражение...

Церковные цифры можно выразить в C ++ 0x (C ++ 11?), Используя новые лямбда-части языка, используя...

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

Я слышал, что можно заменить оператор if с помощью лямбды. Возможно ли это в Python?Если да, то как

... частичное применение (или частичное применение функции) относится к процессу фиксации числа...

Я пытаюсь выучить Y-комбинатор лучше (я вроде понимаю это на Схеме) и внедрить его в D 2.0, и я...

В конкретном случае вот так f(x) { return x+5; } g(x, y) { return 2*x + y; } main() { return f(g(1,...

Я пытаюсь ввести церковные цифры в Хаскеле, но у меня возникла небольшая проблема.Haskell жалуется...

Я пытаюсь напечатать церковные цифры в haskell, используя определения: 0 := λfx.x 1 := λfx.f x Код...

Я немного новичок в Ruby и все еще пытаюсь понять некоторые принципы языкового дизайна.Если я...

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