F# は、 Microsoft Research が開発した、 OCaml ( Objective Caml )と互換性のある .NET の関数型プログラミング言語です。 C# など他の .NET 言語も相互に呼び出せ、 .NET ライブラリにも直接アクセス出来ます。 以下のソーマセガー(本社ディベロッパー製品開発の Senior Vice President )のブログで触れていますが、 F# も他の .NET 言語同様に、 Visual Studio にインテグレートされることになります。 http://blogs.msdn.com/somasegar/archive/2007/10/17/f-a-functional-programming-language.aspx