F#

Don Syme przepchnął generyki do CLR 2.0, a potem zbudował na tym samym środowisku język z rodziny ML. F# powstał w Microsoft Research w 2005 roku, a w Visual Studio 2010 stał się pełnoprawnym produktem. Składnia wywodzi się z OCaml: operator potoku |>, dopasowywanie wzorców, unie z dyskryminatorem i niezmienność domyślnie.

Dwie cechy są naprawdę jego własne. Type providers generują typy w czasie kompilacji wprost ze zewnętrznego źródła danych, więc tabela SQL czy schemat JSON stają się statycznie typowane bez generowania kodu w procesie budowania. Jednostki miary pozwalają kompilatorowi odrzucić metr + sekunda. Język nigdy nie stał się duży, ale wiele z tego, co później pojawiło się w C# — rekordy, dopasowywanie wzorców, składnia oparta na wyrażeniach — wypróbowano tu jako pierwszym.