Faber

Faber 是一種以套件為導向的程式語言，具有拉丁文行為詞彙、小型規則文法，以及以型別為先的靜態型別系統。原始碼會透過 Radix 編譯器編譯為易於審查的 Rust 與原生二進位檔。其定義性的架構特徵是：意義存在於語意核心——HIR（高階中間表示）——而不是存在於任何特定的呈現方式中。

此名稱源自拉丁文 maker 或 craftsman 一詞。編譯器名為 Radix，源自拉丁文 root。此語言由 Ian Zepp 開發，並以 MIT 授權條款發布。

第一次來到這裡？ 請前往開始：把一個連結交給你的模型，它會為你安裝 Faber。然後閱讀命令。

從這裡開始#

入口網站狀態#

此 / 頁面是英文網站的 Speculum Porta：一個不含語言環境的入口點，將使用者導向安裝／入門頁面，將代理程式導向機器介面，並在不進行瀏覽器時間協商的情況下說明語言環境套件狀態。第 7 階段是部分多語言驗證，不是完整的在地化網站：只有 th-TH、zh-Hans、zh-Hant、vi、ar 和 hi 擁有已生成的入口網站／入門著作切片與已生成的語料庫頁面，而著作內容仍回退至英文。

標準拉丁文中的實際範例：

函式 salve(文字 名稱) → 文字 {
    定值 文字 msg ← "Salve, §!"(名稱)
    傳回 msg
}

入口 {
    定值 文字 m ← salve("munde")
    註記 m
}

請參閱讀者語言環境，瞭解同一個語意程式如何透過泰文、簡體中文、繁體中文、阿拉伯文、印地文與越南文套件呈現。

概覽#

Faber 建立於一項核心洞見之上：中間表示是真實依據，任何目標或人類語言表面都不具特權。以拉丁文關鍵字撰寫的 Faber 程式，可以透過與轉換為 Rust、Go 或 WebAssembly 相同的機制，轉換為泰文、阿拉伯文或中文關鍵字——因為 HIR 才是權威，而每個輸出都是它的一種呈現。

此語言刻意採用三種彼此協作的訊號選擇：

• 以型別為先的宣告——讓形狀朝向繫結閱讀：文字 名稱，而不是 名稱: 文字。
• 拉丁文行為詞——宣告、敘述與生命週期：函式、類型、定值、傳回、若。
• 結構字元——值流與型別接合：←（繫結）、→（回傳型別）、∴（閉包連接符）、≡（相等）、∪（聯集）。

結果是具有穩定文法形狀的原始碼，可供審查、轉換與降低，而不會失去讀者對意圖的感受。

文件#

快速範例#

一個展示 Faber 關鍵模式的簡單函式——以型別為先的參數、字元回傳型別、可空值聯集，以及拉丁文控制詞：

函式 divide(整數 a, 整數 b) → 整數 ∪ 無 {
    若 b ≡ 0 則 傳回 無
    傳回 a / b
}

即時呈現#

上方的 divide 函式預設以拉丁文套件呈現。編譯器可以在七種讀者語言環境中呈現相同的程式——泰文、簡體中文、繁體中文、阿拉伯文、印地文、越南文——每一種都會將關鍵字與型別重新對應至該語言，而字元與識別碼保持不變。這不是套用在頁面上的翻譯層；這就是編譯器用來產生在地化原始碼的相同機制。

請參閱讀者語言環境文件，以取得完整說明。

儲存庫#