Результаты поиска по запросу "lambda-calculus"

2 ответа

Можно ли эффективно оценить условия лямбда-исчисления?

Недавно я написал много программ для лямбда-исчисления и хотел бы запустить некоторые из них в режиме реального времени. Тем не менее, так как трендовая функ...

6 ответов

«Какую часть Хиндли-Милнера ты не понимаешь?»

ругаться раньше продавалась футболка с бессмертными словами:Какая частьвыне Понимаю?В моем случае ответ будет ... все это!В частности, я часто вижу подобные ...

4 ответа

Какова правильная семантика замыкания над переменной цикла? [закрыто]

Рассмотрим следующий код lua: f = {} for i = 1, 10 do f[i] = function() print(i .. " ") end end for k = 1, 10 do f[k]() endЭто печатает числа от 1 до 10. В этом случае,i закрывается по значению для каждой итерации внешнего цикла. Так я всегда ...

ТОП публикаций

3 ответа

Что подразумевается под «заменами, позволяющими избежать захвата»?

Читая Лямбда-исчисление в вики, наткнулся на терминCapture-avoiding substitutions, Может ли кто-нибудь объяснить, что это значит, поскольку я нигде не смог н...

6 ответов

«Какую часть Хиндли-Милнера ты не понимаешь?»

3 ответа

Какой тип лямбда-исчисления будет примером для Лисп?

2 ответа

 не проверять тип тоже.

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

4 ответа

Какова правильная семантика замыкания над переменной цикла? [закрыто]

Рассмотрим следующий код lua:

3 ответа

Можно ли это выразить в стиле free point?

3 ответа

Есть ли эффективный способ преобразования унарного числа в двоичное число?