lambda-calculus

4зной

1ответ

Альфа-преобразование в выражении Haskell

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

4зной

1ответ

Экспериментальное исследование экспрессии лямбда-исчисления?

Я хотел бы протестировать интерпретатор Lambda Calculus, который я написал против довольно большого набора тестов Lambda Calculus. Кто-нибудь знает генератор выражений Lambda Calc, который я могу испо

5зной

2ответ

Церковные цифры преобразуются в int без примитива языка

Возможно ли преобразовать число в церкви в целочисленное представление без использования примитива языка, такого как add1? Все примеры, я пришел через использование примитива для dechurch в целое Прим

12зной

2ответ

η-разложения в чистом функциональном языке

В OCaml, это законно иметь в .mli: val f : 'a -> 'a val g : 'a -> 'a и .ml: let f x = x let g = f Еще в F #, это отвергается: eta_expand.ml(2,5): error FS0034: Module 'Eta_expand' contains

1зной

1ответ

последовательности оператора и ошибка термин

Я пытаюсь выразить оператор последовательности g*f = λz.(g z = error) -> error, (f o g)z где f o g = λz.f(g z) с помощью делегатов для построения лямбда-выражения в C# public delegate Lambda Lambd