Результаты поиска по запросу "lambda-calculus"
Можно ли эффективно оценить условия лямбда-исчисления?
Недавно я написал много программ для лямбда-исчисления и хотел бы запустить некоторые из них в режиме реального времени. Тем не менее, так как трендовая функ...
«Какую часть Хиндли-Милнера ты не понимаешь?»
ругаться раньше продавалась футболка с бессмертными словами:Какая частьвыне Понимаю?В моем случае ответ будет ... все это!В частности, я часто вижу подобные ...
Какова правильная семантика замыкания над переменной цикла? [закрыто]
Рассмотрим следующий код 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 закрывается по значению для каждой итерации внешнего цикла. Так я всегда ...
Что подразумевается под «заменами, позволяющими избежать захвата»?
Читая Лямбда-исчисление в вики, наткнулся на терминCapture-avoiding substitutions, Может ли кто-нибудь объяснить, что это значит, поскольку я нигде не смог н...
не проверять тип тоже.
аписать факториальную функцию без использования рекурсии с использованием лямбда-исчисления? Это означает только математическую запись, а не реализацию в каком-либо конкретном языке программирования.
Какова правильная семантика замыкания над переменной цикла? [закрыто]
Рассмотрим следующий код lua:
Страница 1 из 2