F# 程式設計/簡介
| F# : 簡介 |
F# 程式語言是微軟的 .NET 語言家族的一部分，其中包括 C#、Visual Basic.NET、JScript.NET 等。作為一種 .NET 語言，F# 程式碼編譯成 公共語言基礎設施 (CLI) 位元組碼或 Microsoft 中間語言 (MSIL)，在 公共語言執行時 (CLR) 之上執行。所有 .NET 語言都共享這種共同的中間狀態，使它們能夠輕鬆地與彼此互操作並使用 .NET Framework 的基礎類庫 (BCL)，它是 標準庫 的一部分。
在許多方面，很容易將 F# 視為 OCaml 的 .NET 實現，OCaml 是一種來自 ML 家族的 函數語言程式設計語言 的著名函數語言程式設計語言。F# 的一些顯著特性包括型別推斷、模式匹配、互動式指令碼編寫和除錯、高階函式以及完善的基於物件模型，允許程式設計師無縫地混合面向物件和函數語言程式設計風格。
如今，使用三種主要的程式設計正規化：函數語言程式設計、指令式程式設計和麵向物件程式設計。函數語言程式設計是最古老的一種，始於 1956 年的資訊處理語言，並隨著 1958 年 Lisp 的出現而流行起來。當然，在計算機早期幾十年裡，競爭激烈的程式語言世界裡，指令式程式設計已成為行業規範，併成為 Fortran (1957 年) 和 COBOL (1959 年) 的到來後科學研究人員和企業的首選。
雖然命令式語言在企業中流行起來，但函數語言程式設計語言繼續主要作為高度專業化的利基語言而開發。例如，APL 程式語言開發於 1962 年，旨在為處理陣列提供一致的數學表示法。1973 年，愛丁堡大學的 Robin Milner 開發了 ML 程式語言來開發 LCF 定理證明器的證明策略。Lisp 作為 AI 研究人員的首選語言繼續使用多年。
ML 在其他函數語言程式設計語言中脫穎而出；其多型函式使其成為一種非常表達的語言，而其強型別和不可變資料結構使其能夠將 ML 編譯成非常有效的機器程式碼。ML 的相對成功催生了整個 ML 派生語言家族，包括 Standard ML、Caml，它最著名的方言稱為 OCaml，它將函數語言程式設計與面向物件和命令式風格統一起來，以及 Haskell。
F# 開發於 2005 年的微軟研究院。 [1] 在許多方面，F# 本質上是 OCaml 的 .Net 實現，將函數語言程式設計的強大功能和表達語法與構成 .NET 類庫的數萬個類結合在一起。
函數語言程式設計通常被認為是科學建模人員、數學家、人工智慧研究人員、金融機構、圖形設計師、CPU 設計師、編譯器程式設計師和電信工程師的最佳秘訣。可以理解的是，函數語言程式設計語言往往用於執行大量數字運算、抽象符號處理或定理證明的環境。當然，雖然 F# 足夠抽象以滿足一些高度技術利基的需求，但其簡單且富有表現力的語法使其適用於 CRUD 應用程式、網頁、GUI、遊戲和通用程式設計。
程式語言每年都在變得更加功能化。諸如泛型程式設計、型別推斷、列表推導、函式作為值和匿名型別等功能，這些功能傳統上一直是函數語言程式設計的主要組成部分，已迅速成為 Java、C#、Delphi 甚至 Fortran 的主流功能。我們可以期待下一代程式語言在未來繼續這一趨勢，提供函式式和命令式方法的混合，以滿足現代程式設計不斷發展的需求。
F# 對任何級別的程式設計師來說都是有價值的；它將函數語言程式設計和麵向物件程式設計風格的許多最佳特性結合到了一種極具生產力的語言中。