bendlang/bend

Bend 用强类型、纯性和线性约束，以及 proof 验证，试图让 AI 生成的程序更少歧义，并把 CPU/GPU 编译性能作为目标。项目的独特之处是把“模型意图”绑定到可证明语言规则，而不仅是再写一层 prompt；语言生态和证明成本决定它能否从实验语言走向生产。