F#

Don SymeはCLR 2.0にジェネリクスを通した後、同じランタイムの上にML系言語を築いた。F#は2005年にMicrosoft Researchから登場し、Visual Studio 2010で製品版の正式言語になった。構文はOCamlの流れをくみ、パイプライン演算子|>、パターンマッチ、判別共用体、デフォルトで不変という特徴を持つ。

独自の機能が二つある。型プロバイダは外部データソースからコンパイル時に型を生成するため、SQLテーブルやJSONスキーマがビルドにコード生成を挟まずに静的型付けされる。単位系（units of measure）はメートル + 秒のような式をコンパイラが拒否してくれる。言語自体が大きくなることはなかったが、後にC#へ入ったレコードやパターンマッチ、式指向の構文の多くは、まずF#で試された。