История изменений
Исправление AndreyKl, (текущая версия) :
ну просто сконструируй свой терм-вычисление так чтобы в параметрах передавались все термы описывающие состояние. И вызывай его рекурсивно каждый раз когда состояние изменилось.
ВОобще странное понимание у тебя, анонимус: чистое лямбда-исчисление тьюринг-полно, соотвественно всё что можно в обычном писюке - можно и там.
Исправление AndreyKl, :
ну просто сконструируй свой терм-вычисление так чтобы в параметрах передавались все термы описывающие состояние. И вызывай его рекурсивно каждый раз когда состояние изменилось.
ВОобще странное понимание у тебя, анонимус: чистое лямбда-исчисление тьюринг-полно, соотвественно всё что можно в обычном писюке - можно и там. В том числе и считать факториалы (или ты научился считать факториал без состояния?)
Исходная версия AndreyKl, :
ну просто сконструируй свой терм вычисление так чтобы в параметрах передавались все термы описывающие состояние. И вызывай его рекурсивно каждый раз когда состояние изменилось.
ВОобще странное понимание у тебя, анонимус: чистое лямбда-исчисление тьюринг-полно, соотвественно всё что можно в обычном писюке - можно и там. В том числе и считать факториалы (или ты научился считать факториал без состояния?)