저장 위치를 찾고 일정을 이름 붙이고 필요한 만큼만 요구하세요.

정답 단일 바인딩을 가진 중첩된 let 식 세 개가 실행 순서를 명시적으로 만듭니다. 따라서 각 결과는 100에서 다시 시작하는 대신 앞선 호출이 남긴 상태를 반영합니다.

정답 두 번째 예제는 value를 두 프로시저 바깥으로 옮깁니다. 그러면 그 단일 위치가 공유되므로 어느 한 프로시저를 통한 갱신이 다른 프로시저의 시작점이 됩니다.

정답 두 번째 force는 본문을 다시 실행하지 않고 저장된 값을 반환합니다. 최종 calls 값은 1로 유지되어 결과에서 메모이제이션을 직접 확인할 수 있습니다.

정답 stream-ref는 요청된 인덱스에 도달하는 데 필요한 만큼만 정확히 꼬리를 force합니다. 인덱스 9를 요청하면 유한한 접두사를 구성하고 10을 반환하므로 이 특정 실행은 종료됩니다.

정답 삭제는 연결을 다시 쓰지 않습니다. front를 현재 cdr로 전진시킬 뿐입니다. a, b, c를 삽입하고 한 번 삭제하면 front는 b가 든 쌍을 가리키고 rear는 여전히 c가 든 쌍을 가리킵니다.

정답 점화식은 결정론적입니다. 따로 구성된 두 생성기는 각자의 비공개 위치에서 시작하지만, 시작 시드가 같으면 값 수열도 같아집니다. 이 수업의 생성기는 상태와 재현 가능성을 직접 관찰할 수 있게 만듭니다.

정답 forget-value!는 철회자가 저장된 제공자일 때만 성공합니다. 사용자가 total을 잊으면 adder는 자신이 유도하여 제공한 값인 right를 철회하지만, 독립적으로 제공된 left 값은 철회할 수 없습니다. 그 후 새로운 right 값을 제공하면 같은 관계를 통해 새로운 total이 유도됩니다.

정답 propagate는 가장 이른 사건을 꺼내 그 수치 변화를 signal에 적용하고, 결과 상태를 해당 사건 시간 옆에 기록합니다. agenda는 논리적 시뮬레이션 시간을 모델링하며, 이 예제들은 명시적인 삽입 규칙에 따라 각 사건을 순서대로 처리합니다.

정답 두 번째 스케줄은 출금이 읽기 전에 입금이 읽기와 쓰기를 마치도록 합니다. 따라서 출금은 110을 보고 90을 씁니다. 이 프로그램들은 선택된 두 가지 유한 스케줄과 그에 따른 정확한 최종 잔액을 나열합니다.

정답 make-serializer는 공유 잠금을 받아 프로시저 래퍼를 반환합니다. 래퍼는 상태 변경 프로시저를 호출하기 전에 획득하고, 결과를 받은 뒤 해제합니다. 제공된 유한 스케줄에서는 출금이 balance를 읽기 전에 직렬화된 입금이 완료되므로, 최종값 90에 두 갱신이 모두 유지됩니다. 이 수업은 이 정확한 스케줄과 최종 상태를 기록합니다.

정답 두 번째 프로그램은 정의를 인용된 데이터로 다루고 동시적인 지역 범위를 설명하는 scan-out 모양을 만듭니다. 먼저 모든 이름을 명시적인 unassigned 표시로 바인딩하고, set!으로 각 프로시저 값을 설치한 뒤, 남은 본문을 평가하는 형태입니다. 이번 실행은 변환 데이터와 unassigned 및 set! 구조를 화면에 직접 드러냅니다.

정답 두 키 테이블은 첫 번째 키 레코드의 cdr에 또 다른 연관 리스트를 저장합니다. 새로운 두 번째 키는 그 하위 테이블을 바꾸고, 새로운 첫 번째 키는 완전한 하위 테이블을 바깥 테이블에 연결합니다. arithmetic 값을 10에서 11로 바꾸는 일은 중복 레코드를 만들지 않고 가장 안쪽 기존 레코드를 갱신합니다. 이 예제는 #f를 조회 실패로 사용하므로 #f 자체를 저장하려면 더 풍부한 조회 규약이 필요합니다.

정답 두 번째 프로그램은 Monte Carlo 제어기와 상태가 있는 실험 객체를 분리합니다. monte-carlo는 experiment를 호출하면 다음 boolean이 나온다는 사실만 알고 남은 결과의 표현은 모릅니다. 제공된 유한 리스트는 실행을 재현 가능하게 만들고 대입의 모듈성 장점을 직접 모델링합니다.

정답 순서 probe는 let 바인딩으로 일정 의존성을 소스에 직접 적습니다. zero 메시지를 먼저 부르면 one 메시지가 읽기 전에 상태가 바뀝니다. one을 먼저 부르면 예전 상태를 봅니다. 여기의 결론은 평가기가 피연산자를 어느 순서로 고르는지에 기대지 않습니다.

정답 두 번째 프로그램은 프레임 변경을 직접 드러냅니다. 조회는 전역 x보다 지역 x를 먼저 찾습니다. set-variable-value!는 이미 있는 지역 레코드를 바꾸고 define-variable!은 첫 프레임에 y를 더합니다. 어느 연산도 전역 x를 바꾸지 않습니다. 이 설명용 평가기는 나열한 형식의 환경 규칙을 직접 모델링합니다.

정답 make-adder는 x = 5인 프레임을 기록하고 그 환경에 계속 접근하는 클로저를 반환합니다. add-five를 나중에 호출하면 포획한 환경에 연결된 y = 7 프레임이 생깁니다. transcript는 이 연결을 드러내기 위해 교육용 프레임 이름을 사용합니다.

정답 순환 예제는 마지막 cdr을 첫 pair로 되돌립니다. 보통 재귀 리스트 순회는 빈 리스트에 닿지 못합니다. count-unique-pairs는 내려가기 전에 모든 pair 정체성을 기록하고 memq가 이미 본 pair를 찾으면 0을 더합니다. 프로그램은 프린터가 순환을 끝없이 펼치게 하지 않고 eq?로 순환을 보고합니다.

정답 half-adder는 or, and, inverter, 또 다른 and 게이트로 구성됩니다. 유한 일정은 먼저 0 입력을 안정화하고 a, b, a를 차례로 바꿉니다. 기록한 시간은 이 모형에 지정한 지연에서 나온 정확한 시뮬레이션 이벤트입니다.

정답 이체 프로그램은 계정 잠금 두 개를 잡기 전에 숫자 id로 순서를 정합니다. 호출자가 반대 방향의 이체를 요청해도 두 연산은 같은 잠금 순서를 사용합니다. 유한한 순차 시연은 두 이체를 끝내고 두 셀을 해제하며 선택한 잠금 프로토콜의 전체 상태 변화를 기록합니다.

정답 sqrt-stream은 √2를 향한 모든 Newton 개선을 드러냅니다. 정확한 유리수 수열은 1, 3/2, 17/12, 577/408, 665857/470832로 시작합니다. 생산자를 바꾸지 않고 더 많은 추측값을 살펴볼 수 있습니다. 표시한 앞부분은 선택한 시작값의 개선 수열을 정확히 기록합니다.

정답 reset 가능한 객체는 비공개 seed를 제자리에서 바꿉니다. 함수형 버전은 seed 1에서 새 스트림을 만들어 다시 시작하며 이전 스트림도 계속 남습니다. 같은 결과 리스트는 유한 앞부분의 일치를 확정합니다. 객체는 정체성과 명령을, 스트림은 재사용 가능한 이력과 명시적 데이터 흐름을 강조합니다.