Quick tour
五分钟了解 Faber 的形态:安装 CLI,阅读一个函数,然后打开一个真实的包。如需按顺序学习,请遵循:安装 → 你好 → 命令 → 项目。
1. 安装 CLI#
从安装页面下载适用于您平台的最新版本(1.1.1),校验归档校验和,并将解压后的 faber-v1.1.1-<target-triple>/faber 二进制文件放入您的 PATH 中。确认:
faber --version2. 函数形态#
类型优先的参数,字形返回类型,拉丁控制词,可空联合类型:
functio divide(numerus a, numerus b) → numerus ∪ nihil {
si b ≡ 0 ergo redde nihil
redde a / b
}| 信号 | 含义 |
|---|---|
函数 | 函数声明 |
numerus a | 类型在前,名称在后 |
→ | 返回类型 |
∪ nihil | 可空(T ∪ nihil) |
si … ergo | 紧凑分支 |
返回 | 返回 |
3. 包布局#
一个包是一个包含 faber.toml 和 src/ 的目录:
my-app/
faber.toml
src/
main.fab常用命令:
faber check my-app/
faber build my-app/ -t rust
faber run my-app/
faber test my-app/详情请见:Faber 构建工具。
4. 真实应用#
不要止步于 hello-world。公开的 示例 仓库包含多命令 CLI、本地邮件空间、GPU 工作负载轨道和完整的语言语料库。
| 包 | 展示内容 |
|---|---|
| AI 工作台 | 多命令 CLI,模型检查,嵌入 |
| ViviLite | 基于文件的邮件空间 / 代理协调 CLI |
| coreutils | 更大的应用活动(对齐测试套件) |
| gpu-workload | 系统 / GPU 等级 |
| corpus | 每个语言构造一个目录 |
请在示例页面上浏览它们。
5. 如果您是代理#
- 阅读
/llms.txt。 - 打开
/agents/index.md。 - 从
/.well-known/agent-skills/index.json中选择一个技能。
学习路径#
| 步骤 | 页面 | 成果 |
|---|---|---|
| 1 | 安装与下载 | 将 Faber 1.1.1 放入 PATH 并验证它 |
| 2 | 你好,Faber | 创建并运行 salve-munde |
| 3 | 您将使用的命令 | 学习 check、build、run、test、explain |
| 4 | 项目与示例 | 进入真实的包和语料库页面 |