parameters - 动态作用域中的形式参数和自由变量

Question

我对动态范围有些困惑，特别是当形式参数和自由变量共享名称时会发生什么。

例如

(define x 1)
(define f (lambda (x) x) )
(f 2)

如果使用动态范围编译和评估此代码，输入会是什么？2个还是3个？

虽然参数中的赋值 (x = 2) 似乎是最新的，所以它应该是 2，但有些人告诉我答案是 1（而其他人说是 2。每个人都很困惑）。

{我知道方案，大多数语言都使用词法作用域，但告诉我的教授}

我会很感激我能得到的任何帮助。

Answer 1

没有动态范围。它是“词法范围”或“动态范围”。但是，抛开这一点，它是 2：

(f 2) 
= 
( (lambda (x) x) 2 ) 
= 
(begin (set! old-x x)           ; save old value of formal param
       (set! x 2)               ; set param to argument's value
       (set! return-value       ; evaluate the body
             x)                 ;   and save the result
       (set! x old-x)           ; restore the param's old value
       return-value )           ; return the result

翻译必须为临时变量使用唯一的名称，以防止任何混淆。在这里old-x，return-value但它可以是翻译后的程序代码中其他任何地方未使用的任何名称。