F#是由微软发展的为.NET语言提供运行环境的程序设计语言,是函数编程语言(FP,Functional Programming),函数编程语言最重要的基础是Lambda Calculus。它是基于OCaml的,而OCaml是基于ML函数编程语言。有时F#和OCaml的程序是可以交互编译的。
F#支持高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计,可以被.NET中的任意其它代码编译和调用。
2002年微软开始由Don Syme带领研发F#,从C#,LINQ和Haskell中获取了经验,2005年推出第一个版本,2007年7月31日释出1.9.2.9版。2007年底,微软宣布F#进入产品化的阶段。
F#已被集成在Visual Studio 2010中,版本是2.0,含有对.Net Framework的完全支持。
F#现在在Visual Studio 2015中,版本是4.0。
F#现在在Visual Studio 2017中,版本是4.1。
一些小小范例如下:
// This is a comment for a sample hello world program.printfn "Hello World!"