f# - 阴影和嵌套函数

Question

我想了解Shadowing和Nested函数的机制是如何工作的。
例如:

let func y =
    let dup y = y + y
    let z = dup y
    let dup y =
        let dup z =
            let y = y * z
            y
        let z = y
        y
    dup z + z;;

val func : int -> int

> func 3;;
val it : int = 12

有人可以解释这里发生了什么吗？

Answer 1

您的代码等效于以下代码，其中我只是对您的姓名实例进行了编号，以帮助您直观地了解阴影是如何发生的。

let func y0 = 
  let dup0 y1 = y1 + y1
  let z0 = dup0 y0
  let dup1 y2 = 
    let dup2 z1 = 
      let y3 = y2 * z1 
      y3
    let z2 = y2 
    y2 
  dup1 z0 + z0

当然，这可以进一步简化。自 dup2和 z2从未使用过， dup1相当于 let dup1 y2 = y2 ，整个函数等价于

let func y0 =
  let dup0 y1 = y1 + y1
  let z0 = dup0 y0
  dup1 z0 + z0

这相当于

let func y0 =
  let z0 = y0 + y0
  z0 + z0

通过替代。这与

let func y0 = 4 * y0

这有帮助吗？