F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言。它是基于Ocaml的，而Ocaml是基于ML函数程序设计语言的。这是一个用于显示.NET在不同编程语言间互通的程序设计。F#自2002年开始研发，2005年发布了第一个版本，2007年底正式从研发专案转移至产品部门，并决定将F#置入VisualStudio.NET2010。截止目前（2009年1月6日现在），最新的F#预览版为F#September2008CTP，版本号为1.9.6.2。VisualStudio2010英文版已经于2010年4月13日发布。微软计划将慢慢整合F#至.NET平台并使F#成为.NET平台的计算机辅助语言。