Bend：一种用证明来阻止 AI 出错的快速语言
Bend 2 允许开发者把应用规则写进 LAWS.bend 文件，代码每次被修改时编译器都会要求给出数学证明，从而保证 AI 生成的代码无法违反这些规则。它采用类似 Python 的语法加依赖类型，目标是在 CPU 上达到接近 C 的速度、在 GPU 上接近 CUDA，且并行能力内置、无需手写线程。这之所以重要，是因为它把“别出错”从一句提示词要求变成了可机械验证的保证，而这正是放心使用 AI 生成代码所缺的一环。
报道来源
- Hacker News (AI)2026-10-25 23:41