(wat-aro)

(define (f a (b lazy) c (d lazy-memo)) ...) といった形で部分的に遅延評価やメモ化する遅延評価を実装する． 元となるのは4.30までで作っていた遅延評価器． まず変更した部分を書く． ;; メモ化する評価器 (define (force-it obj) (cond ((thunk? obj) (actual-value (thunk-exp obj) (thunk-env obj))) ;;メモ化しな…