我读到 F# 中的值是不可变的。然而，我也遇到了重新定义价值定义的概念，它掩盖了以前的定义。这与可变值有何不同？我问这不仅是一个理论构造，而且还询问是否有关于何时使用可变值以及何时重新定义表达式的建议；或者如果有人可以指出后者不是惯用的 f#。
重新定义的基本示例：
let a = 1;;
a;; //1
let a = 2;;
a;; //2
更新1：
添加到下面的答案中，顶层 Fsharp 交互中的重新定义仅允许在不同的终端中。以下内容也会在 fsi 中引发错误：
let a = 1
let a = 2;;
Error: Duplicate definition of value 'a'
另一方面，let 绑定中允许重新定义。
更新2：
实际差异，闭包不能与可变变量一起使用：
let f =
let mutable a = 1
let g () = a //error
0
f;;
更新3：
虽然我可以使用参考来模拟副作用，例如：
let f =
let a = ref 1
let g = a
a:=2
let x = !g + !a
printfn "x: %i" x //4
f;;
除了闭包使用上的差异之外，我不太明白重新定义和使用 mutable 关键字之间的实际差异，例如：
let f =
let a = 1
let g = a
let a = 2
let x = g + a
printfn "x: %i" x //3
f;;
vs
let f =
let mutable a = 1
let g = a
a <-2
let x = g + a
printfn "x: %i" x //3
f;;
另一种思路：我不确定如何使用线程，但是（a）另一个线程可以改变 let 绑定中的可变变量的值，（b）另一个线程可以重新绑定/重新定义 a 中的值名称吗？让绑定。我肯定在这里遗漏了一些东西。
更新4：
最后一种情况的区别在于，突变仍然会在嵌套作用域中发生，而嵌套作用域中的重新定义/重新绑定将“隐藏”外部作用域的定义。
let f =
let mutable a = 1
let g = a
if true then
a <-2
let x = g + a
printfn "x: %i" x //3
f;;
vs
let f =
let a = 1
let g = a
if true then
let a = 2
printfn "a: %i" a
let x = g + a
printfn "x: %i" x //2
f;;
