F Sharp
2002年からマイクロソフトリサーチのドン・サイム(英語版) (英: Don Syme) ら によってOCamlをベースに開発が始められた。
OCamlから多くの要素を引き継いだ関数型とオブジェクト指向のマルチパラダイムである。型安全であり、型推論の機能をもつ。ただし、オーバーロードをサポートしているため、OCamlのもつ型推論の完全性を失っている。C#やVisual Basic .NETなどの.NET言語と相互運用性があり、.NETクラスライブラリの利用・開発が可能であり、MonoおよびXamarinを利用したAndroidアプリケーション開発もサポートされている。以前はSilverlightを利用したWindows Phone 7のアプリケーション開発もサポートされていた。
F#のFはFunctional programming language(関数型プログラミング言語)およびSystem Fが由来 である。
F#の開発環境はVisual Studioの有償版製品(あるいは無償のCommunityエディション)にVisual F#として含まれているほか、Expressエディションで利用可能な無償ツールの配布もされている。Visual F# Tools 4.1でRoslynコンパイラ(英語版)をサポートするようになった。また、Monoや.NET Core環境向けにもF#コンパイラが移植されているため、macOSやLinuxなどでもF#プログラムの開発および実行ができる。
OCaml互換の標準ライブラリを備えており、F#とOCamlのどちらでもコンパイルできるコードを記述することも可能である。しかしクラスの構文などはF#とOCamlで異なっている。