引数に手続きをとる手続きを考える． (define (foo bar) (bar 'a)) 引数はすべてthunkなので(bar 'a)でbarをevalしても手続きとならない． applyでoperatorをactual-valueを使わないと手続きを引数に取る場合に困る．

遅延評価 ;;; M-Eval input: (define count 0) ;;; M-Eval value: ok ;;; M-Eval input: (define (id x) (set! count (+ count 1)) x) ;;; M-Eval value: ok ;;; M-Eval input: (define w (id (id 10))) ;;; M-Eval value: ok ;;; M-Eval input: count ;;; M…