lambda-calculus

3зной

2ответ

Возможно ли реализовать стек только с лямбда-выражениями?

Это может быть не очень практичная проблема, мне просто интересно, могу ли я реализовать стек только с лямбда-выражениями. Стек поддерживает 3 операции: top, pop и push, поэтому я начинаю с определени

4зной

2ответ

Что такое алгоритм для перечисления лямбда-терминов?

Что такое алгоритм, который будет перечислять выражения для лямбда-исчисления по порядку длины? Например, (λx.x), (λx.(x x)), (λx.(λy.x)) и так далее?

5зной

1ответ

Исчисление лямбда (λa.b) ((λx.xx) (λx.xx))

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

6зной

1ответ

Как бы вы абстрагироваться от шаблонного в этой паре «похожи фасонных» типов данных

Общий вопрос У меня есть пару типов данных, которые являются два различных способа представления то же самое, один записывает имя переменной в String, а другой записывает имя переменной в Int. В насто

6зной

3ответ

Проверьте тип лямбда-выражения

мне нужно проверить тип для лямбда-выражения: Мой метод дает мне: Im пытаясь определить его в Haskell (на Hugs) как это: h= \f x -> f (f x) Когда я называю: тип comamnd это дает мне: (a -> a) -> a -