Bend

# Bend 源代码: https://bend-lang.com/ ~/bend (https://bend-lang.com/) https://github.com/bendlang/bend https://discord.bend-lang.com/ https://x.com/bendlang https://www.reddit.com/r/bendlang/ 中心 (https://hub.bend-lang.com/) bender (https://bend-lang.com/bender) 获取 Bend (https://bend-lang.com/#get) × (https://bend-lang.com/#!) ### 1. 安装 ``` curl -fsSL https://bend-lang.com/install.sh | sh ``` ### 2. 将以下内容添加到你的 `AGENTS.md` 中 ``` 使用 Bend 时： - 运行 `bend guide` 学习 - 使用 `LAWS.bend` 保留重要规则 - 提交前运行 `bend PROOF.bend` - 尽可能并行化代码 ``` ### 3. 享受无错误、快速的灵感编码应用！ 一种**快速**语言，通过**证明**来**阻止 AI 犯错** **C** 速度 · **CUDA** 并行性 · **Lean** 证明 在后通用人工智能时代，人类最终将停止编写和阅读代码，但我们仍然需要一种无歧义的方式告诉构建我们周围世界的 AI 我们想要完成什么。借助**法则**，我们的意图可以比自然语言精确得多。借助**证明**，我们可以验证 AI 正确实现了我们的提示。而**快速编译器**以其速度运行。这就是 Bend——独一无二。 ## 1. Bend 运行**快速**。 Bend 编译为原生代码。在单个核心上，其运行速度几乎与 C 一样快。同一个二进制文件也可以在十六个核心或 GPU 上运行，速度比单个核心快高达一百倍。 Apple M4 Max · 值越低越好 ## 2. Bend 编译**快速**。 Bend 的类型检查器是证明检查器，类似于 Lean 和 Rocq。在中等规模代码库上，这些工具可能需要几分钟。Bend 最多只需一秒，因此 AI 代理可以在每次更改后进行检查。 Apple M4 Max · 值越低越好 ## 3. Bend 是**并行**的。 没有线程，没有锁，无需编写内核。将工作一分为二，Bend 会在它能找到的所有核心上分发调用，然后将它们重新合并。现在观看 `pow2` 在 4,096 个 GPU 核心上运行： `pow2.bend` 在 **GPU** 上运行 ## 4. Bend 通过证明**阻止**错误 你如何**信任**你从未读过的代码？通过要求提供**证明**。 `LAWS.bend` 是你声明法则的地方。从此，没有任何 AI 能发布一行违反这些法则的代码。 观看它守护一个游戏： **法则**：胜利是**不可能的** 到目前为止，它有效！**新功能**："Claude，让棋盘可以环绕" **没有 `LAWS.bend`**：法则被破坏。AI 错误：**已合并**。 **有 `LAWS.bend`**：法则完好无损。AI 错误：**已阻止**！ 没有 `LAWS.bend`，错误就会上线。有了 `LAWS.bend`，AI 必须重试，直到它构建了一面墙并证明法则成立。 合并错误在数学上是不可能的：这是一个*定理*。 `LAWS.bend` ``` # 法则：没有任何移动序列能导致胜利。 law you_cant_win: for moves: List board = replay(start(), moves) is_won(board) == False ``` `PROOF.bend` ``` # 证明：you_cant_win 成立。 def Laws.you_cant_win(moves): # ... 由 AI 编写 ``` `LAWS.bend` 是由**证明**支持的 `AGENTS.md`。"不犯错误"现在是*类型检查的*。 持怀疑态度？尝试破坏这个游戏。(https://bend-lang.com/#lab) ## 5. 快速开始。 ### 5.1. 安装 ``` curl -fsSL https://bend-lang.com/install.sh | sh ``` ### 5.2. 告诉你的代理使用 Bend 将以下内容添加到你的 `AGENTS.md`： ``` 使用 Bend 时： - 运行 `bend guide` 学习 - 使用 `LAWS.bend` 保留重要规则 - 提交前运行 `bend PROOF.bend` - 尽可能并行化代码 ``` 然后，只需说："使用 Bend"！ ### 5.3. 享受无错误、快速的灵感编码应用！ 提示：要求它为任何不应被破坏的内容编写**法则**，并为你想要快速运行的所有内容进行**并行化**。 Bend 还很年轻：如果出现任何问题，请让它提交 issue。(https://github.com/bendlang/bend/issues) Bend 在后端、Linux 和 macOS 上运行效果最佳。享受吧！<3 ## 6. 参考资料。 指南：[GUIDE.md](https://github.com/bendlang/bend/blob/main/guide/GUIDE.md) 是整门语言；`bend guide` 会打印它。 论文：[BendTT](https://github.com/bendlang/bend/blob/main/paper/BendTT.pdf)，一种仿射依赖类型理论，Bend 的核心。 论文：[BendRT](https://github.com/bendlang/bend/blob/main/paper/BendRT.pdf)，用于 CPU 和 GPU 的并行运行时，虚拟机。 Bend 仍在不断演进。预期会有错误，请[报告它们](https://github.com/bendlang/bend/issues)。