Fuse 程式語言：使用 GRIN 的靜態型別函數式程式設計

Fuse 是一種靜態型別、純函數式程式語言，旨在進行高效能的原生代碼生成。透過編譯至 GRIN 全程式優化器，隨後編譯至 LLVM，Fuse 提供了一條從高階函數式抽象到高效、精簡的原生二進位檔，且具備零成本抽象的路徑。

核心語言特性

Fuse 結合了 System F 與高階多型性（higher-order polymorphism）的元素，以提供強大的型別系統。該語言旨在具備表達力與可組合性，其語法靈感來自 Rust、Python、Scala 與 Haskell。

型別系統與多型性

Fuse 實作了基於 System F 與高階多型性的靜態型別系統。關鍵組件包括：

  • Higher-Kinded Types (HKTs): 對 HKTs 的支援允許建立進階抽象，例如 Functors，其中型別建構子可以進行映射。
  • Ad-hoc Polymorphism: 透過 traits 達成，這允許開發者在不同型別之間定義共享行為。
  • Ad-hoc Polymorphism via Traits: 開發者可以使用 impl 區塊來為特定型別提供 trait 的具體實作。
  • Algebraic Data Types (ADTs): Fuse 支援 ADTs 與 generics，從而實現精確的領域建模。

函數式範式

Fuse 是一種純函數式語言，其中每個函數都是純函數。為了在保持這種純粹性的同時允許實際應用，該語言提供了：

  • Pattern Matching: 對於處理 ADTs 至關重要。
  • Higher-Order Functions: 可以將其他函數作為參數或回傳其他函數的函數。
  • do notation: 對 do notation 的支援允許更具可讀性的單子操作（monadic operations）序列化。
  • Bidirectional Type Checking: 編譯器使用支援高階型別的雙向型別檢查。這確保了僅需函數型別簽名以維持可讀性，而所有其他型別皆可被推導。

編譯管線

Fuse 並非直接編譯至機器碼。相反地，它使用多階段管線，在最終代碼生成之前優化整個程式。

GRIN 優化器

Fuse 編譯至 GRIN，一個全程式優化器。這種架構允許語言在整個程式碼庫中進行廣泛的優化，確保高階函數式抽象不會造成執行時效能損失。

LLVM 後端

在 GRIN 優化階段之後，代碼會透過 LLVM 生成，進而產生 Linux (x86_64) 與 macOS (ARM64) 的最終原生二進位檔。

社群分析與技術評論

Hacker News 上的社群成員針對該語言目前的狀態提出了幾項技術問題與建議：

語法與人體工學

部分使用者發現語法——特別是使用方括號 [] 作為型別變數而非傳統的尖括號 <>——並不直觀。此外，關於 HKTs 在其 $\eta$-long form 中的語法也存在討論。

純粹性與 IO

一位評論者指出該語言在聲稱純粹性方面可能存在矛盾。他們觀察到 .exec() 方法的存在暗示任何函數都可以執行 IO 操作，無論其型別簽名為何，這可能會削弱語言嚴格的函數式純粹性。

標準函式庫與工具

  • Editor Support: 已建立 tree-sitter-fuse 文法，顯示了向 Language Server Protocol (LSP) 支援邁出的初步進展。
  • Unicode Support: 標準函式庫的字串型別目前不支援 Unicode，這可能會影響未來的函式庫設計。
  • User-Defined Operators: 該語言目前缺乏使用者定義的運算子，一些開發者認為這是建立嵌入式領域特定語言 (EDSLs) 的主要障礙。

"標準函式庫中的字串型別目前不支援 Unicode... Unicode 支援可能是一項龐大的工程，但考慮是否稍後才加入它可能會影響你現在的函式庫設計。"

安裝

Fuse 可以透過 curl 腳本為支援的平台（Linux x86_64 與 macOS ARM64）進行安裝：

curl -fsSL https://fuselang.github.io/fuse/fuseup | sh

Sources