F# 函數程式設計語言

F#是由微軟發展的為微軟.NET語言提供運作環境的程式設計語言，是函數程式設計語言（FP，Functional Programming），函數程式設計語言最重要的基礎是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函數程式語言。有時F# 和 OCaml 的程式是可以互動編譯的。

F#已經接近成熟，支援Higher-Order Function、Currying、Lazy Evaluation、Continuations、Pattern Matching、Closure、List Processing、Meta-Programming。這是一個用于顯示.NET在不同程式設計語言間互通的程式設計，可以被.NET中的任意其它代碼編譯和調用。

2002年微軟開始由Don Syme帶領研發F#，從C#，LINQ和Haskell中擷取了經驗，2005年推出第一個版本，2007年7月31日釋出1.9.2.9版。2007年底，微軟宣布F#進入産品化的階段。