lambda-calculus

1зной

1ответ

Получение предикатов в выражении исчисления лямбда

Каким будет код для получения предиката в заданном выражении лямбда-исчисления. Учитывая лямбда-выражения (race(x) & run(I2,x)) Я знаю, что гонки и запустить предикаты. Как извлечь предикаты в коде

4зной

2ответ

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

Есть ли эффективный алгоритм, который отображает между хорошо типизированными замкнутыми членами просто типизированного лямбда-исчисления и натуральными числами? Например, с помощью Брейна индексов (и

8зной

3ответ

интерпретировать лямбда-мю исчисление Parigot в Haskell

можно интерпретировать лямбда-исчисление в Haskell: data Expr = Var String | Lam String Expr | App Expr Expr data Value a = V a | F (Value a -> Value a) interpret :: [(String, Value a)] -> Expr ->

1зной

1ответ

Каково имя лямбда-нотации, которое использует целочисленные смещения для ссылки на неявные одиночные аргументы?

Выглядит вроде как это (пример показывает Чёрча и Y-комбинатор): zero := λ.λ.0 one := λ.0 -- or more verbosely: λ.λ.1 0 two := λ.λ.1 (1 0) three:= λ.λ.1 (1 (1 0)) add := λ.λ.λ.λ.3 1 (2 1 0)

4зной

2ответ

Разница между значениями по умолчанию и интерпретатором по имени для вычисления лямбды

В другом вопросе Боб представил следующее interpreter for the untyped lambda calculus. data Expr = Var String | Lam String Expr | App Expr Expr data Value a = V a | F (Value a -> Value a) interpre

3зной

1ответ

Как вручную управлять приоритетом специальных выражений в Parsec?

Я попытался написать синтаксический анализатор для интерпретатора лямбда-исчисления, который использует грамматики expression closures JavaScript 1.8, что означает function(x) x * x с function(x) { re

8зной

1ответ

Доступ к внешней переменной внутри блока и Y-combinator

Надеюсь, вам все будет в порядке. Я реализую фиксированную точку Y-combinator в Гавани, и у меня возникают проблемы с ним. Ну, Y-комбинатор может быть определено лямбда-исчисления как: Y = (λh.λF.F(λ

1зной

1ответ

В Erlang, передавая сообщение всем элементам списка pids

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

0зной

1ответ

чтение лямбда-терминов в Haskell

У меня есть лямбда-термины, определенные следующим образом: type Symb = String infixl 2 :@ data Expr = Var Symb | Expr :@ Expr | Lam Symb Expr deriving Eq И мне нужно, чтобы на