неизменный в F #
Я знаю, что переменные в F # являются неизменяемыми по умолчанию. Но, например, в F # интерактив:
> let x = 4;;
val x : int = 4
> let x = 5;;
val x : int = 5
> x;;
val it : int = 5
>
Итак, я назначаю 4 для x, затем 5 для x, и это меняется. Это правильно? Должно ли это дать какую-то ошибку или предупреждение? Или я просто не понимаю, как это работает?