Faber

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

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

第一次來到這裡？ 請先閱讀安裝與下載，然後依序執行入門路線：Hello、命令 以及專案。

下載 Faber 1.2.0#

目前版本：Faber 1.2.0（標籤 faber-v1.2.0）。提供 macOS 與 Linux 的預建 CLI 封存檔；請解壓縮 faber-v1.2.0-<target-triple>/faber 二進位檔，並將其放入你的 PATH。

快速安裝（macOS arm64 範例）：

curl -fsSL -o faber.tgz \
  https://github.com/faberlang/releases/releases/download/faber-v1.2.0/faber-v1.2.0-aarch64-apple-darwin.tar.gz
curl -fsSL -o faber.tgz.sha256 \
  https://github.com/faberlang/releases/releases/download/faber-v1.2.0/faber-v1.2.0-aarch64-apple-darwin.tar.gz.sha256
expected=$(awk '{print $1}' faber.tgz.sha256)
actual=$(shasum -a 256 faber.tgz | awk '{print $1}')
test "$actual" = "$expected"
tar -xzf faber.tgz
sudo mv faber-v1.2.0-aarch64-apple-darwin/faber /usr/local/bin/
faber --version

所有版本說明與資產：github.com/faberlang/releases · faber-v1.2.0。 逐步說明：安裝指南。完整歷史清單：版本。

從這裡開始#

入口網站狀態#

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

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

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

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

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

概覽#

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

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

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

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

文件#

快速範例#

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

functio divide(numerus a, numerus b) → numerus ∪ nihil {
    si b ≡ 0 ergo redde nihil
    redde a / b
}

即時呈現#

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

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

儲存庫#