f# 重复定义

Question

在 F# powerpack 数学提供程序源代码中:我看到了这个(在 lapack_service_netlib.fs 中)

member this.dgemm_((a:matrix),(b:matrix)) =  
 // allocate results
  let c = Matrix.zero (m) (n)
  // transpose
  let c = Matrix.transpose c
...
  // fixups
  let c = Matrix.transpose c
  // result tuple
  c

为什么这样编译？ c得到重复的定义？

Answer 1

这是阴影 ;在函数/类/成员范围内，任何本地 let绑定(bind)将被后续的 let 遮蔽绑定(bind)到同名。

另见 Shadowing and Nested function