Чистое нетипизированное лямбда-исчисление - мощная концепция.Однако создание машины или...

Я смотрю на учебник http://haskell.org/haskellwiki/How_to_write_a_Haskell_program import System

Я новичок в лямбда-исчислении и изо всех сил пытаюсь доказать следующее. SKK и II - бета-эквивалент

У меня есть такая функция iter :: Int -> (a -> a) -> a -> a iter n f a = f (f ... (f a)...

Я читаю статью Generics of a Higher Kind, первое предложение - В Java 5 и C # 2.0 параметрический...

Учитывая функцию с по крайней мере n аргументами, я хочу повернуть первый аргумент, чтобы он стал n...

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

У меня проблемы с пониманием приоритета операторов лямбда-исчисления. Например, следующий код:...

Я сталкиваюсь со следующим кодом Пролога. Выражение [X] >> Y стоит для лямбда-выражения лямбда X.Y....

У меня есть следующее (f.x.f(f x))(y.y+1) = x.(y.y+1)((y.y+1) x) = x.(y.y+1)(x+1) = x.x+1+1 Я не...

Чтобы узнать, что такое комбинатор с фиксированной запятой и для чего он используется, я написал...

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

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

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

Я перегрузил некоторые задачи по обслуживанию нескольких скриптов Perl. Одним из требований...

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

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

Я пишу лямбда-исчисление на F #, но я застрял на реализации бета-сокращения (замена формальных...

Я работаю через SICP, и проблема 2.6 поставила меня в затруднительное положение.При работе с...

http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html - это краткое...

Я могу понять, как создавать и думать о вычислениях SKI и BCKW, но я так и не смог найти...

Все, Ниже приводится лямбда-выражение, которое мне трудно сократить, т. Е. Я не могу понять, как...

Я пытаюсь понять, как выразить Y-Combitor в этом, наконец, Tagless EDSL: class Symantics exp where...

Для лямбда-выражения (x (λx y. x y) z h) я не понял, как свободные переменные x (outer x), z и h...

Продолжая упражнения в книге Лямбда-исчисление , вопрос заключается в следующем: Предположим,...