Здравствуйте, kochetkov.vladimir, Вы писали:

KV>Здравствуйте, Курилка, Вы писали:

К>>какое отношение к этому имеют свободные переменные?

KV>А разве можно считать чистой функцию, ссылающуюся на свободные переменные? Ведь любая из них может быть позднее связана с грязной функцией, что загрязнит и исходную. Или я неправильно понимаю смысл значений "свободная переменная" или "чистота функции"?

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