F# est une variante du langage ML pour .NET.

Le compilateur est disponible ici.