F# is a functional programming language on the CLR.
It is statically typed.
It provides type inference.
Promotes functional style of programming.
Allows you to leverage that style along with the .NET library and CTS.

Code in F# look a lot closer to mathematical expressions. So, 
algorithms that can take advantage of mathematical and functional
style translate seamlessly to code.