じゃ

(define (f x)
(define b (+ a 5)
(define a x)
(+ a b))

などの順不同な内部定義をうまく評価する、効果的な評価器の実装について語ろう