F#語言

F#源發於CAML語言，這是一種由法國國家信息、自動化研究院(INRIA)開發的元語言，其中的一種分支是Objective CAML，用於教學程序。但是當人們讚譽該語言在靜態檢查和類型推論方面的極佳性能時，微軟公司表示元語言不是十全十美的，尤其是在網絡平臺上因多載、類型推斷、子類型之間的相互作用導致了不少問題，這主要也因爲該語言缺可延伸機制。F#的開發便是要致力於解決上述問題，它的編寫者是但西姆(DonSyme)曾參予過編寫C++, C#和J#的工作。但西姆表示這項開發是合理的，可以通過改善語法和語義來增加程序語言的可用性。