一个人编了聊天语法的编程语言，移植5.6万行DOOM，连代码都让AI写

停下手头那个想卖钱的项目，他决定给自己放个假——但更像换一种紧绷的方式。翻出积灰已久的待办清单，上面列着一条“造个编译器”，搁置了不知道多少年。这一回，他给自己定了一条铁律：一个字都不查，全凭直觉开工。不问互联网上有没有人做过，不问技术上会不会撞墙，他只想看看，凭一己之力，能不能造出一个真正跑得起来的东西。这个念头很快凝结成一个名字：bet。

bet 的表面是一层玩笑：关键字读起来像群聊里的碎嘴俏皮话，好像在把一个正经的编译器项目打扮成恶搞的样子。但它的底子是实打实的工程——借助 LLVM 生成原生机器码，能自己管理内存，还能自举编译。换句话说，bet 的编译器是用 bet 本身写的，这种“自举”能力通常是区分玩具语言和正经工具的分界线。

当初设计时，他故意没去查有无先例。等项目推进到一定程度，才知道一位名叫 Geoffrey Huntley 的开发者早就做过类似的事。“我不想知道，不然可能第一行代码都没写，念头就被网上那些‘早有人搞过’的冷水浇死了。”这种刻意回避的姿态，反而把整个开发过程拧成了一股只凭自己判断往前走的韧劲。

## 正方：它就是个笑话，语法上涂了层糖衣

如果把眼光只停留在表层，bet 的语法戏谑感确实能撑起一个“这不就是个包装”的评价。一门编程语言，如果仅仅在语法层面换了一套词组，骨子里却和其他语言没区别，那本质上只是穿了一件酷外衣的“缝合怪”。有开发者这样看——如果编译器后端用的还是 LLVM，内存管理模式参考了 Zig 与 Odin，那它凭什么说自己是一款独立的语言？

更扎眼的是，bet 主打的 arena 分配器并非原创。Zig 的标准库里早就提供了 ArenaAllocator，一次调用就可以释放整块内存；Odin 也把类似思路内嵌在语言特性中，专门服务游戏代码所需要的临时内存。bet 所做的，不过是将 arena 包装成几个自造的关键字，让它读起来像是自有设计的一部分。质疑的人会说：技术路径毫无新意，甚至连语法层都像一个经过摩登修改的聊天文本，从编程语言哲思的角度看，这确实更接近一场行为艺术。

## 反方：能扛起5.6万行DOOM，就不是玩笑

但另一边的论述来得很实际——衡量一门语言是否“玩具”的唯一标准，是它能不能扛住真实软件的考验。bet 交出的答卷是完整移植了 id Software 的原版《DOOM》渲染器、游戏逻辑、WAD 加载和音频模块，整体超过 56000 行 bet 代码，编译成一个原生二进制文件，在窗口里跑起了原汁原味的共享版游戏。

一启动，DOOM 就自动进入“吸引模式”，回放游戏内置的录制输入。真正的测试力不在画面表现上，而在“定点数学”的严格一致性里。原版 C 语言的游戏逻辑大量依赖定点数计算，任何一步精度飘移，角色就会对着墙壁径直撞去。bet 的运行时逐帧复现每一轮输入，操作序列与原版 C 参考构建完全锁死，模拟结果达到了比特级一致。能做到这一步，意味着这门“玩笑语言”在处理浮点近似、内存布局和调用约定上，都达到了能和经典 C 代码库对等的严谨程度。

开发过程里还有一个更令人意外的实验：他本人没有参与任何实现细节的代码审查，所有 bet 代码都由一个 AI 编码代理完成。他的角色只停留在架构师层面——设定问题、列出验收条件，然后死守这条线。只有自测通过、满足验收标准、又能通过整体语料库验证的修改，才被容许合并。没有人工的“看代码”，完全靠测试驱动整个流程。DOOM 移植之所以能跑通，既是对 bet 的验证，也是对这条自动化开发链路的验证。

## 我的判断：一根硬骨头的完成度，比“新不新”重要

两方论据摆在一起，争论的焦点其实悄悄滑开了。如果从“是否引入了新的计算机科学概念”的角度，bet 的确没有发明什么；但从“能否完成一个定义清晰、要求苛刻的工程任务”来看，它用终结状态回应了怀疑。作者最初的企图心就不是提出一门“革命性”语言，而是做完一件事：一个能自举、能承载复杂游戏、能在无人工审查下被 AI 代理操盘的项目。这种封闭边界的完成度，反而是许多追求理论创新的语言没迈过去的那道坎。

他给这场实验画下的终点是：编译器完工、自举达成、文档输出、配套网站上线。在这一切跑通的那一刻，这门语法的玩笑背后，立起的是一个充分严肃的编译工程。那个原本可能挫败于“互联网冷水”的点子，反而因为“不问、不查、一条路走到黑”的简单规则，走到了能播起 DOOM 标题画面的地方。