Faber

Faber 是一种面向包的编程语言，具有拉丁语行为词汇、简洁而规则的语法，以及类型优先的静态类型系统。源代码通过 Radix 编译器编译为可审查的 Rust 代码和原生二进制文件。其核心架构特性在于：语义存在于一个语义核心——HIR（高级中间表示）——之中，而非存在于任何特定的渲染形式中。

其名称源自拉丁语中表示制造者或工匠的词。编译器名为 Radix，源自拉丁语的根。该语言由 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 函数默认以拉丁语包渲染。编译器可以在七种读者区域中渲染同一程序——泰语、简体中文、繁体中文、阿拉伯语、印地语、越南语——每种都将关键字和类型重新映射为该语言，同时保持符号和标识符不变。这并不是应用于页面的翻译层；它是编译器用于生成本地化源代码的同一机制。

有关完整讨论，请参阅 读者区域 文档。

代码库#