Goose 是一款新的系統程式語言,由語言設計者 Wouter van Oortmerssen 主導,並透過 AI 輔助工具完成編譯器實作、基準測試與文件撰寫。這款語言的目標,是在不使用垃圾回收、不需要生命週期標記、也不仰賴堆積配置器的情況下,達到記憶體安全,同時維持接近甚至超越 C++ 與安全 Rust 的執行效能,適合用在系統程式設計與對效能要求極高的場合。
Goose 採用「資料堆疊」模型,每個動態值都內嵌存放在由編譯器管理的堆疊中,離開作用域時整批釋放,不需要垃圾回收或引用計數。型別系統提供多種陣列,包括固定長度、凍結、可增長與僅能增長四種;並以一到四位元組的相對參考取代傳統指標,讓資料結構可以位置獨立、整塊讀寫。編譯器會把程式碼轉成單一 C 檔案,再交給任何 C 編譯器處理,也內建 TinyCC 後端可直接編譯並執行。
這則討論在 Hacker News 上拿到 526 分,許多留言聚焦在「AI 輔助設計程式語言」這個做法本身,以及 Goose 宣稱的效能數字是否經得起更嚴謹的基準測試檢驗。目前專案已經公開規範、標準函式庫、三十一個範例程式與測試套件,並以 Apache 2.0 授權開源,支援 Windows、macOS 與 Linux 三大平台,顯示這不只是概念驗證,而是朝可用語言的方向持續推進。
對正在學程式的孩子來說,Goose 的重點不是要大家馬上去學一門新語言,而是示範了「記憶體安全」與「執行效能」原本常被認為互相衝突,其實可以透過巧妙的語言設計同時兼顧,這也是程式語言領域持續在進步的例子。另外,這個專案本身用 AI 工具協助完成部分編譯器開發,也讓人看到未來寫程式時,人類負責設計與把關、AI 協助實作的分工模式會越來越常見。
程式語言開源系統程式設計AI