Wiem, że zmienne w F # są domyślnie niezmienne. Ale na przykład w F # interaktywne:

  > let x = 4;;

val x : int = 4

> let x = 5;;

val x : int = 5

> x;;
val it : int = 5
> 

Tak więc przypisuję 4 do x, a następnie 5 do x i to się zmienia. Czy to jest poprawne? Czy powinien zawierać jakiś błąd lub ostrzeżenie? Albo po prostu nie rozumiem, jak to działa?