Отслеживайте ячейку памяти. Именуйте расписание. Требуйте только то, что необходимо.

Ответ Три вложенных выражения let с одним связыванием делают эту последовательность явной. Поэтому каждый результат отражает состояние, оставленное предыдущим вызовом, вместо того чтобы снова начинаться со 100.

Ответ Второй пример выносит value за пределы обеих процедур. Эта единственная ячейка становится общей, поэтому обновление через любую из процедур задает начальное значение для другой.

Ответ Второй вызов force возвращает сохраненное значение без повторного выполнения тела. Конечное значение calls остается равным 1, что делает мемоизацию заметной в результате.

Ответ Процедура stream-ref принудительно вычисляет ровно столько хвостов, сколько требуется для достижения запрошенного индекса. Запрос индекса 9 строит конечный префикс и возвращает 10, поэтому данный запуск завершается.

Ответ Удаление не перезаписывает связи. Оно сдвигает front к его текущему cdr. После вставки a, b и c и одного удаления front указывает на пару b, тогда как rear по-прежнему указывает на пару c.

Ответ Рекуррентное соотношение является детерминированным. Два раздельно созданных генератора начинают работу с закрытыми ячейками, однако одинаковые начальные значения seed делают их последовательности значений одинаковыми. Этот генератор урока делает состояние и воспроизводимость непосредственно наблюдаемыми.

Ответ Операция forget-value! выполняется успешно только тогда, когда отзывающая сторона совпадает с сохраненным источником информации. Когда пользователь забывает значение total, сумматор отзывает значение right, поскольку сам предоставил это выведенное значение, но не может отозвать независимо переданное значение left. Передача нового значения right выводит новое значение total через то же самое отношение.

Ответ Процедура propagate извлекает самое раннее событие, применяет его числовое изменение к сигналу signal и записывает полученное состояние рядом со временем этого события. Расписание моделирует логическое время, а не ожидает физических часов, и эти примеры не моделируют физику одновременных событий за рамками явного правила вставки.

Ответ Второе расписание позволяет операции deposit выполнить чтение и запись до того, как операцию чтения выполнит withdrawal. В результате withdrawal видит 110 и записывает 90. Эти программы перечисляют два выбранных конечных расписания и их точные итоговые балансы.

Ответ Процедура make-serializer принимает общую блокировку и возвращает обертку для процедуры. Эта обертка выполняет захват перед вызовом изменяющей состояние процедуры и сбрасывает блокировку после получения ее результата. В предоставленном конечном расписании сериализованная операция deposit завершается до того, как операция withdrawal прочитает баланс balance, поэтому оба обновления сохраняются в итоговом значении 90. Урок фиксирует именно это расписание и конечное состояние.

Ответ Вторая программа рассматривает определения как цитированные данные и формирует структуру scan-out, используемую для анализа одновременной локальной области: сначала для каждого имени создается связывание с явным маркером unassigned, затем каждая процедура устанавливается через set!, после чего вычисляется оставшееся тело. Этот запуск строит преобразование в виде данных и делает явной структуру unassigned и set!.

Ответ Таблица с двумя ключами хранит запись первого ключа, чей cdr сам является ассоциативным списком. Вставка нового второго ключа изменяет эту подтаблицу, тогда как новый первый ключ связывает целую подтаблицу с внешней таблицей. Обновление arithmetic с 10 до 11 изменяет существующую самую глубоко вложенную запись вместо создания дубликата. В этих примерах #f используется в качестве результата отсутствия значения, поэтому сохранение #f потребовало бы более богатого протокола lookup.

Ответ Вторая программа отделяет контроллер Монте-Карло от объекта эксперимента с состоянием. Процедура monte-carlo знает только то, что вызов experiment возвращает следующий булев результат. Переданный конечный список делает этот запуск воспроизводимым и напрямую моделирует модульное преимущество присваивания.

Ответ Зонд порядка делает зависимость от расписания явной с помощью связываний let. Сначала вызов с сообщением 0 изменяет состояние, а затем сообщение 1 считывает его. Если первым вызывается сообщение 1, оно наблюдает прежнее состояние. Ни один из выводов здесь не зависит от того, какой порядок операндов выбирает вычислитель. Обе последовательности записаны раздельно и сравниваются как данные.

Ответ Вторая программа делает изменение кадров явным. Поиск находит локальный x раньше глобального x. Процедура set-variable-value! изменяет уже существующую локальную запись, тогда как define-variable! добавляет y в первый кадр. Ни одна из этих операций не изменяет глобальный x. Этот пояснительный вычислитель напрямую моделирует перечисленные формы.

Ответ Процедура make-adder записывает кадр, где x = 5, и возвращает замыкание, сохраняющее доступ к нему. Последующий вызов add-five создает кадр y = 7, связанный с этим захваченным окружением. В протоколе используются учебные имена кадров, чтобы сделать эти связи явными.

Ответ Пример с циклом изменяет последний cdr так, чтобы он указывал обратно на первую пару. Обычный рекурсивный обход списка никогда не достигнет пустого списка. Поэтому count-unique-pairs записывает идентичность каждой пары перед спуском и прибавляет ноль, когда memq находит уже просмотренную пару. Программа сообщает о цикле через eq?, не требуя от принтера бесконечного развертывания.

Ответ Полусумматор строится из элементов or, and, inverter и еще одного элемента and. Конечное расписание сначала устанавливает нулевые входы, а затем изменяет a, b и снова a. Зафиксированные моменты времени представляют собой точные события симуляции, полученные из явных задержек в этой модели.

Ответ Программа перевода упорядочивает две блокировки счетов по числовому id перед захватом любой пары. Вызывающие стороны могут запрашивать переводы в противоположных направлениях между счетами, но обе операции используют одинаковый порядок блокировок. Последовательная демонстрация завершает оба перевода, освобождает обе ячейки и фиксирует полный переход состояний выбранного протокола блокировок.

Ответ Поток sqrt-stream раскрывает каждое улучшение Ньютона для √2. Его точная рациональная последовательность начинается с 1, 3/2, 17/12, 577/408 и 665857/470832. Последующие потребители могут исследовать больше приближений без изменения производителя. Отображаемый префикс фиксирует последовательность улучшений для выбранного начального значения.

Ответ Сбрасываемый объект изменяет свой закрытый seed на месте. Функциональная версия перезапускается путем создания нового потока из seed 1, при этом старый поток остается доступным. Одинаковые списки результатов подтверждают совпадение только для этого конечного префикса. Объект подчеркивает идентичность и команды, тогда как поток подчеркивает повторно используемые истории и явный поток данных.