F♯

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。

一些小小范例如下：

F#相容于XNA Game Studio Express产品，可允许在Xbox 360上建构游戏软件。