F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言。它是基于Ocaml的，而Ocaml是基于ML函数程序设计语言的。