Bend 2 前端编译器开源：一次检查导出 EVM/WASM 后端

toptickcrypto · x · 2026-10-01

开发者 ndigo 剥离了并行编程语言 Bend 2 的运行时，开源了一个可组合的前端编译器 bend-frontend：对完整 Bend 程序做一次类型、数量、终止性与证明检查后，输出类型化的可序列化 Core.Program，供任意后端（EVM、WASM 等）消费，前端本身不包含后端注册或目标选择，也不要求输入定义 main。

使用方式：需 Git 和 Bun（1.3.12 测试通过），无包依赖，通过 bun run cli check / bun run cli export 等命令完成检查与导出。有人认为这种'无 bug vibe coding'路线即使 token 成本更高，对加密应用等高正确性要求场景可能非常有价值。