That feature was actually inherited from Ocaml. Both have a REPL and type inference powerful enough to insure that you never indicate types in Ocaml and rarely in F#.
The experience is close to having an elegant Python with types, definitely worth becoming more popular.
The experience is close to having an elegant Python with types, definitely worth becoming more popular.