Lisette：一款受 Rust 啟發並可編譯至 Go 的程式語言

背景

Lisette 是一款受 Rust 啟發的新興程式語言，其核心特色在於結合了 Rust 的語法優勢與 Go 的執行期環境。它具備代數資料類型、模式匹配、Hindley-Milner 型別系統，並預設不可變性，最終編譯為可讀性高的 Go 原始碼，旨在解決 Go 語言在型別系統上的侷限，同時保留其高效的併發處理能力與生態系互操作性。

社群觀點

Hacker News 的討論主要圍繞在「開發體驗」與「語言定位」兩大核心。支持者認為 Go 雖然擁有優異的執行期環境，但其型別系統過於簡陋，缺乏如窮舉模式匹配、代數資料類型（ADT）等現代特性，而 Lisette 正好填補了這塊空缺，讓開發者能在享受 Go 綠色執行緒（Green Threads）優勢的同時，獲得 Rust 等級的編譯期安全性。部分評論指出，對於多數應用軟體而言，Rust 的低階特性與記憶體管理負擔有時反而是種阻礙，因此「帶有垃圾回收（GC）機制的 Rust」實際上是一個極具吸引力的利基市場，能讓開發者更專注於邏輯正確性而非底層細節。

然而，社群內也存在不少質疑與挑戰。有觀點認為，Rust 的核心價值在於無執行期負擔（Zero-cost abstractions），轉向 Go 執行期反而是一種退步。此外，Lisette 在語法上雖然接近 Rust，卻在細節處（如模組引用與路徑分隔符）做了微調，這被部分使用者批評為增加了不必要的學習成本，認為若能完全相容 Rust 語法會更具說服力。關於編譯流程的討論也相當熱烈，有開發者擔心當程式在執行期出錯時，開發者必須回頭閱讀冗長且去糖化後的 Go 程式碼，這對除錯與維護是一大挑戰，因此語言伺服器（LSP）是否能精準將錯誤映射回原始碼，將是該專案能否走向生產環境的關鍵。

此外，討論串也觸及了與現有語言的橫向對比。雖然有人提出 OCaml 已經能提供類似的正確性保證，但反對者認為 Rust 生態系在開發者體驗、錯誤訊息的友善程度以及工具鏈的完整性上，遠勝於傳統的 ML 系語言。Lisette 的出現被視為一種嘗試，試圖將這種「不痛苦的函數式編程體驗」帶入 Go 的生態圈。對於是否能成功整合進現有的 Go 專案，社群仍持觀望態度，認為跨語言調用的便利性將決定其最終的採用率。

延伸閱讀

在討論過程中，參與者提及了數個同樣以 Go 為編譯目標或試圖改進 Go 開發體驗的專案，包括 XGo (Goplus)、Borgo 以及 Soppo。針對 Python 語法與高效能編譯的需求，留言中也提到了 Cython、Mojo 以及由 Google 開發但已停止維護的 Grumpy。此外，強調型別系統與 Erlang 執行期結合的 Gleam，以及與 Lisette 理念相近但編譯至 C 的 Spy 語言，也被視為此領域值得關注的參考對象。