2015/11/26
SICP 問題 3.31
;; accept-action-procedure!でprocを実行して初期化している部分で初期化しないとどうなるか.
(define (make-wire)
(let ((signal-value 0)
(action-procedures '()))
(define (set-my-signal! new-value)
(if (not (= signal-value new-value))
(begin (set! signal-value new-value)
(call-each action-procedures))
'done))
(define (accept-action-procedure! proc)
(set! action-procedures (cons proc action-procedures))
(proc)) ;;この(proc)がないとどうなるか
(define (dispatch m)
(cond ((eq? m 'get-signal) signal-value)
((eq? m 'set-signal!) set-my-signal!)
((eq? m 'add-action!) accept-action-procedure!)
(else (error "Unknown operation -- WIRE" m))))
dispatch))
;; and-gate手続きをつかって述べる.
;; ここでprocがないとここの内部定義and-action-procedureを登録しているだけで実行しない.
;; つまりafter-delayも実行しない.
(define (and-gate a1 a2 output)
(define (and-action-procedure)
(let ((new-value
(logical-and (get-signal a1) (get-signal a2))))
(after-delay and-gate-delay
(lambda ()
(set-signal! output new-value)))))
(add-action! a1 and-action-procedure)
(add-action! a2 and-action-procedure)
'ok)
;; after-delay手続きでthe-agendaに登録している.
(define (after-delay delay action)
(add-to-agenda! (+ delay (current-time the-agenda))
action
the-agenda))
;; propagateはthe-agendaに登録されたactionを一つずつ実行する.
;; after-delayが呼ばれていないので何も登録されていないため何も実行できない.
(define (propagate)
(if (empty-agenda? the-agenda)
'done
(let ((first-item (first-agenda-item the-agenda)))
(first-item)
(remove-first-agenda-item! the-agenda)
(propagate))))