F#语言

F#源发于CAML语言，这是一种由法国国家信息、自动化研究院(INRIA)开发的元语言，其中的一种分支是Objective CAML，用于教学程序。但是当人们赞誉该语言在静态检查和类型推论方面的极佳性能时，微软公司表示元语言不是十全十美的，尤其是在网络平台上因多载、类型推断、子类型之间的相互作用导致了不少问题，这主要也因为该语言缺可延伸机制。F#的开发便是要致力于解决上述问题，它的编写者是但西姆(DonSyme)曾参予过编写C++, C#和J#的工作。但西姆表示这项开发是合理的，可以通过改善语法和语义来增加程序语言的可用性。