F# является функциональным и объектно-ориентированным языком для
платформы Microsoft .NET, базируется на языке OCaml. Как следствие, его
сильной стороной является совмещение возможности прямого использования
.NET-библиотек, а также других .NET-языков (C#, VB .NET) с
возможностями, предоставляемыми функциональным программированием.
F# использует механизмы автоматического вывода типов и строго
типизирован. Поддерживает сопоставление по образцу (pattern matching),
допускает функции с побочными эффектами (то есть не является чистым
функциональным языком - pure functional language). Является одним из
языков семьи ML.
Создателем языка является Дон Сайм (Don Syme), разработкой занимается Microsoft Research.