F#，微软研究院正在研究的一种函数式程序设计语言。其灵感来自于 OCaml。其突出的优势是，与visual Studio 2005 紧密整合。F# 可以与.net 平台的其它语言例如C#，VB.net 相互调用操作。想了解更多关于F#，可以访问如下内容：
Home of F# at Microsoft Research: http://research.microsoft.com/fsharp
Don Syme's Blog: http://blogs.msdn.com/dsyme
Community site for F#: http://cs.hubfs.net
关于 函数试程序设计语言：
1) 函数式程序设计是一种强调表达式赋值而不是执行命令的程序设计。Erlang程序设计语言就是一种函数式程序设计语言。由于改变程序中某部分的全局变量可能对程序其它某部分有意想不到的影响，Erlang避免了对在多个函数中常用的全局变量的使用。
2) 在ITU-TS较早的定义中，函数式程序设计是“主要以可能嵌套的函数过程调用的顺序来构造程序的一种方法。”函数过程是指相关的简单程序，它被其它程序调用，并且从调用它的程序中获得且返还数值。