球拍是一个程序运行多次的定义形式？

Question

在 Racket 中，可以在另一个过程中定义一个过程和常量，例如：

(define (a a-list)
  (define something 10)
  (display a-list)
  (cond
    [(empty? a-list) (display "done")]
    [else
      (display a-list) (newline)
      (a (rest a-list))]))

打印列表，然后取出第一个元素，然后再次打印列表，以此类推，直到列表为空。

在示例过程中，值something 被定义为10，无论出于何种原因。当过程递归时，Racket 是否再次定义该值，或者它是否足够聪明地注意到这个定义没有改变？

它也可能在先前调用的过程的堆栈空间上，如果这没有优化，并且每个递归步骤会消耗更多的内存，这取决于 something 的定义。例如，假设列表中有一百万个数字，但从不改变数字。显然，如果该定义中的内容依赖于作为参数给出的列表，则不能如此简单地对其进行优化。

如果这没有优化，那么在递归函数中不要有太多的define 形式是一个好主意，还是只有那些消耗很少空间的形式？将它们放在过程之外将使它们可以从其他过程中访问，即使只有一个过程曾经使用它们。

Answer 1

每次调用过程时都会评估define 表达式。考虑这个例子：

(define (test1)
  (define x (begin (display "Hello from test1 ") 10))
  x)

(test1)
=> Hello from test1 10
(test1)
=> Hello from test1 10
(test1)
=> Hello from test1 10

如果你希望一个过程中的值只被评估一次（当过程本身被创建时），你可以把它放在过程之外的范围内，它仍然可以访问，因为 lambda 定义了一个 @ 987654321@ 在其词法环境中：

(define test2
  (let ((x (begin (display "Hello from test2") 20)))
    (lambda () x)))

=> Hello from test2
(test2)
=> 20
(test2)
=> 20
(test2)
=> 20