imutável em F #
Eu sei que as variáveis em F # são imutáveis por padrão. Mas, por exemplo, em F # interativo:
> let x = 4;;
val x : int = 4
> let x = 5;;
val x : int = 5
> x;;
val it : int = 5
>
Então, atribuo 4 a x, depois 5 a x e está mudando. Está correto? Deve dar algum erro ou aviso? Ou eu simplesmente não entendo como isso funciona?