F# is a statically typed, functional-first programming language that encompasses imperative and object-oriented techniques and features global type inference.
Pro Allows writing predictable code
Like many other functional languages, F# takes a stance of immutability for everything (state, values etc...). There are several reasons why having immutable values is good. One of those is that the code you are writing becomes much more predictable and you don't have to worry about any side effects.
Pro Natively supported by Visual Studio
This is a .Net language natively supported by Visual Studio. Though it is not as tooled up as C# the support is still substantial. In particular, C# deployment scenarios can be enabled for it with small C# wrapper projects. Integration with Visual Studio provides: IntelliSense, debugging, projects an other features.