F# (uttalas F Sharp) är ett funktionellt programspråk som ursprungligen utvecklades av Don Syme på Microsoft Research. Programspråket är baserat på OCaml men kombinerar även element från flera andra paradigmer såsom objektorientering och imperativ programmering på Microsofts .NET-ramverk. F# utvecklas numera av Microsoft Developer Division och är nu implementerat i Visual Studio.