动态范围，F#

如何解决动态范围，F#

我正在尝试找出这个函数在动态范围内的 F# 中的计算结果

let y = 3 in 
    let f g = g 2 + g y in   
        let y = f (fun x -> x +  4) in
            f (fun x -> x + y)

我知道在静态范围内答案是 31，但是我在弄清楚它在动态范围内是什么时遇到了问题

解决方法

我认为这是一个学术问题，所以我不会给出完整的答案，但会尝试提供一些提示，让您自己解决这个问题。这也不是真正的 F# 问题，因为 F# 使用静态作用域。

动态范围的想法本质上是变量将引用在程序执行期间最后分配给给定名称的值。

在您的示例中，关键是对变量 y 的引用。在静态作用域中，第 2 行的引用是指第 1 行的声明，第 4 行的引用是指第 3 行的定义：

01: let y = 3 in 
02: let f g = g 2 + g y (* ref to line 1 *) in   
03: let y = f (fun x -> x + 4) in
04: f (fun x -> x + y (* ref to line 3 *) )

对于动态范围，对 y 的引用将指向程序执行中遇到的 y 的最后一个定义。在第 3 行运行 f 时，第 2 行的引用将引用第 1 行定义的值。当运行第 4 行代码时，所有对 y 的引用将引用第 3 行定义的值.

为了更容易解释这一点，我将用两个版本的 f、f1 和 f2 来重写它：

01:  let y = 3 in 
02a: let f1 g = g 2 + g y (* ref to line 1 *) in   
02b: let f2 g = g 2 + g y (* ref to line 3 *) in   
03:  let y = fa (* last y in scope defined on line 1 *) (fun x -> x + 4) in
04:  fb (* last in scope defined on line 3 *) (fun x -> x + y (* ref to line 3 *) )

有了这个，你应该能够弄清楚结果会是什么。