编译/评估过程的内存是否在Chez方案中被垃圾收集?

在运行时包含编译器的多个(可能是大多数)语言实现忽略了垃圾收集丢弃的代码(例如,请参见 julia leads to memory leaks 在应用程序中,例如 genetic-programming )

f g 事实上

我尝试的测试: F 和 相互调用,它们的定义在运行时被替换。

(define f)
(define g)

(define (make-f x)
  (eval `(set! f (lambda (y)
           (if (> y 100)
             (+ (remainder ,x 3) (g y))
             (+ y 1))))))

(define (make-g x)
  (eval `(set! g (lambda (y)
           (if (< y 10)
             (+ (remainder ,x 5) (f y))
             (div y 2))))))

(define (make-and-run-f n)
  (begin
    (make-f 1)
    (make-g 1)
    (let loop ((i 0) (acc 0))
      (if (> i n)
        acc
        (begin
            (make-f i)
            (make-g i)
            (loop (+ i 1) (+ acc (f 33))))))))

(time (make-and-run-f 1000000)) ; runs in 10 min and negligible memory