OCaml变量阴影？

Question

如果我有像这样的嵌套函数

let test1 (sorted: int list) =
let test2 (sorted: int list) =
{blah with sorted} in
test2 sorted

阴影如何运作？在test2中我会使用传入的参数（已排序），还是会访问test1中声明的较大范围？

Answer 1

当范围内有多个变量具有相同名称时，您将始终从最内层范围访问该变量。因此，在第3行，您正在访问test2的参数，在第4行，您正在访问test1的参数。