История изменений

Как-то непонятно, что делать с этим ответом. Вот в Scheme есть call/cc, который запоминает состояние стека. Если я всё состояние вычисления сложу в одну переменную и научусь делать ей ленивое глубокое копирование, то моя задача на scheme будет решена. Однако это потребует уметь делать ленивое глубокое копирование хеш-таблиц и это требует труда. А я, естественно, хочу, чтобы был максимум готовых инструментов. На CL я тоже пытался решить эту задачу и не особо преуспел.

И это будет неудобно, поскольку будет проблема с локальными переменными - в них нельзя будет держать мутабельные структуры данных, либо нужно будет и их как-то научиться лениво копировать после возврата к ранее запомненному продолжению.

Как-то непонятно, что делать с этим ответом. Вот в Scheme есть call/cc, который запоминает состояние стека. Если я всё состояние вычисления сложу в одну переменную и научусь делать ей ленивое глубокое копирование, то моя задача на scheme будет решена. Однако это потребует уметь делать ленивое глубокое копирование хеш-таблиц и это требует труда. А я, естественно, хочу, чтобы был максимум готовых инструментов. На CL я тоже пытался решить эту задачу и не особо преуспел.