F#为什么没有警告或错误地修改不可变变量？

F#是一种函数式编程语言，它有时会自动推断变量的类型并尝试进行优化。这种优化可能会导致变量被“重新绑定”，即新变量会被分配给新值，而旧变量则指向一个不同的对象。这种行为本质上是允许的，因为这并没有直接修改不可变变量的值。但它可能会导致出现错误，从而使代码变得更难以调试。

下面是一个示例代码，使用了一个不可变变量shopList，但是在函数中使用了却做了修改：

let shopList = ["Milk"; "Eggs"; "Cheese"]
let addGrocery item list =
    list <- item :: list
    list

let newList = addGrocery "Yogurt" shopList

这段代码会导致shopList中添加一个"Yogurt"，因为函数中的list实际上会被重新绑定。为了避免这种情况，可以使用一个新的变量来存储结果，而不是直接重新绑定原始变量：

let shopList = ["Milk"; "Eggs"; "Cheese"]
let addGrocery item list =
    item :: list

let newList = addGrocery "Yogurt" shopList

这个示例代码没有修改不可变变量shopList，仅仅返回了一个新的列表newList。