F# est un langage fonctionnel qui possède un noyau compatible avec OCaml, il s'inspire également de C# et Haskell. Aujourd'hui, F# est un projet du laboratoire Microsoft Research. Il pourrait être intégré au prochain Visual Studio (VS 2010) qui devrait voir le jour fin 2009, début 2010.
Les langages fonctionnels sont particulièrement bien adaptés pour l’écriture d’applications scientifiques ou d’intelligence artificielle. A ce jour, Microsoft n'édite pas un tel langage pour la plate-forme .net, F# vient donc combler ce manque. F# est un langage .net, cela signifie que comme C#, VB.net, Boo ou d’autres langages, il repose sur un socle commun : la CLS (Common Language Specification). Ainsi, F# a accès à l’ensemble des librairies .net, c'est-à-dire qu’il est utilisable pour écrire une application WPF ou ASP.net, ou simplement une assembly utilisée par une application C#. Concrètement, cela veut dire que le compilateur génère une assembly .net classique qui sera exécutée par la machine virtuelle .net ; F# a donc plus ou moins les mêmes performances que C#. F# et OCaml partagent les mêmes syntaxes et fonctions de base, certaines libraires faites en OCaml peuvent être compilées directement via F#, sans changement ou seulement quelques modifications mineures. Contrairement à C#, F# ne définit pas seulement une grammaire, il apporte également un ensemble de fonctions prédéfinies.

Nicolas Biedermann
Cyril Durand