OCaml 中的不可变变量

我正在学习 OCaml，我对变量的不变性有点困惑。根据我正在读的书，变量是不可变的。到目前为止一切顺利，但到底为什么我可以这样做：

let foo = 42
let foo = 4242

我缺少什么？

我认为最好的解释方法是举个例子。考虑以下代码（在 OCaml REPL 中执行）：

# let foo = 42;;
val foo : int = 42

# let return_foo () = foo;;
val return_foo : unit -> int = <fun>

# let foo = 24;;
val foo : int = 24

# return_foo ();;
- : int = 42

上面的代码执行以下操作：

1. Binds 42到名字foo.
2. 创建一个函数return_foo ()返回绑定到的值foo.
3. Binds 24到名字foo（这隐藏了之前的绑定foo).
4. 调用return_foo ()函数，它返回42.

将此与可变值的行为进行比较（使用ref在 OCaml 中）：

# let foo = ref 42;;
val foo : int ref = {contents = 42}

# let return_foo () = !foo;;
val return_foo : unit -> int = <fun>

# foo := 24;;
- : unit = ()

# return_foo ();;
- : int = 24

which:

1. 创建一个可变引用，其中包含42并将其绑定到名称foo.
2. 创建一个函数return_foo ()返回存储在绑定到的引用中的值foo.
3. Stores 24在参考文献中绑定到foo.
4. 调用return_foo ()函数，它返回24.