F#

Don Syme a fait passer les génériques dans le CLR 2.0, puis a construit un langage de la famille ML sur ce même environnement d'exécution. F# est sorti de Microsoft Research en 2005 et est devenu un langage de premier rang dans Visual Studio 2010. La syntaxe descend d'OCaml : opérateur de pipeline |>, filtrage par motifs, unions discriminées et immutabilité par défaut.

Deux fonctionnalités lui sont vraiment propres. Les type providers génèrent des types à la compilation directement depuis une source de données externe : une table SQL ou un schéma JSON devient statiquement typé, sans étape de génération de code dans le build. Les unités de mesure permettent au compilateur de rejeter mètre + seconde. Le langage n'a jamais explosé, mais une bonne partie de ce qui est apparu ensuite en C# — records, filtrage par motifs, syntaxe orientée expressions — a d'abord été essayée ici.