F# In Visual Studio

In F# it is unusual to have to declare the type of a variable explicitly. Instead, the compiler infers the type of the variable from the type of the expression assigned to it or from the way that is used - a process known as type inference.

However, once the type of a variable has been inferred, it can't be changed. F# is therefore strongly rather than weakly typed.