Hello, Faber
撰寫最小但實用的 Faber 程式：建立一個格式化字串並將其列印出來的套件入口點。
先決條件#
請先完成安裝與下載。你應該已將
faber 二進位檔放在 PATH 中，並在可建立檔案的工作目錄中開啟 shell。
建立套件#
mkdir salve-munde
cd salve-munde
mkdir src
cat > faber.toml <<'EOF'
[package]
name = "salve-munde"
version = "0.1.0"
EOF函式 salve(文字 nomen) → 文字 {
定值 文字 msg ← "Salve, §!"(nomen)
傳回 msg
}
入口 {
定值 文字 m ← salve("munde")
註記 m
}檢查它#
faber check .faber check 會執行前端流程：詞法分析、剖析、型別檢查，以及足以
在不建立原生二進位檔的情況下捕捉一般套件錯誤的降低階段。
如果指令失敗，請先讀取診斷碼；Faber 診斷碼設計為穩定的搜尋索引。
執行它#
faber run .預期輸出：
Salve, munde!你剛才使用的內容#
| 來源 | 意義 |
|---|---|
functio salve(textus nomen) → textus | 名為 salve 的函式、型別優先的參數、文字回傳值 |
fixum textus msg ← ... | 不可變繫結 |
"Salve, §!"(nomen) | 帶有顯示插值的格式字串 |
redde msg | 回傳 |
入口 | 套件入口點 |
nota m | 列印備註／輸出值 |
語系證明#
上方程式是規範的拉丁文讀者語系呈現。讀者語系可以使用不同的關鍵字包來 呈現相同的語意程式，同時保留字形與識別碼。在撰寫非拉丁文套件之前，請先從 讀者語系的完整證明開始。