F#

Don Syme ha fatto includere i generics nella CLR 2.0 e poi ha costruito un linguaggio ML sullo stesso runtime. F# è nato in Microsoft Research nel 2005 ed è diventato un linguaggio di prodotto di prima classe in Visual Studio 2010. La sintassi discende da OCaml: operatore pipeline |>, pattern matching, unioni discriminate e immutabilità per impostazione predefinita.

Due caratteristiche sono davvero sue. I type provider generano tipi in fase di compilazione direttamente da una fonte dati esterna, così una tabella SQL o uno schema JSON diventano tipizzati staticamente senza alcun passaggio di generazione del codice nella build. Le unità di misura permettono al compilatore di rifiutare metro + secondo. Il linguaggio non è mai diventato grande, ma molto di ciò che è poi comparso in C# (record, pattern matching, sintassi orientata alle espressioni) è stato provato prima qui.