Język F# to jeden z niewielu nowych języków programowania, który zyskał sporą popularność od momentu pojawienia się pierwszej wersji razem ze środowiskiem Visual Studio 2010. Jednak prace na F# rozpoczęły się już w roku 2002. Rozpoczęto wtedy prace nad adaptacją rozwiązań funkcyjnych opartych o języki z rodziny ML dla platformy .NET, również w kontekście typów uogólnionych. Grupa, która zajmowała się tymi zagadnieniami, wzorowała się też na języku Ocaml, który stał się niejako rodzicem języka F#.