，函数程式语言最重要的基础是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函数程式语言。有时F#和OCaml的程式是可以交互编译的。F#已经接近成熟，支援高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计，可以被.NET中的任意其它代码编译和调用。2002年微软开始由Don Syme带领研发F#，从C#，LINQ和Haskell中获取了经验，2005年推出第一个版本，2007年