F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言。它是基于Ocaml的，而Ocaml是基于ML函数程序设计语言的。作为Microsoft®.NETFramework家族的新成员，F#提供类型安全、性能以及类似脚本语言的工作能力，所有这些都是.NET环境的一部分。此函数式语言由Microsoft研究院的DonSyme发明，作为CLR的OCaml语法兼容变体，但F#已经迅速地从科研转为投入实际应用。随着函数式编程的概念通过.NET泛型和LINQ等技术越来越多地渗入主流语言（例如C#和VisualBasic®），F#在.NET社区里的知名程度也不断提高——因此，2007年11月Mi