球拍是多次運行過程中的定義形式？

Question

在球拍有可能定義一個程序和常數另一程序的內部，例如是這樣的：

(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在其詞彙環境中定義了一個closure：

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

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