2026年5月底,JetBrains发布了一段73分钟的采访视频。画面里,一个留着络腮胡、穿着朴素T恤的中年程序员坐在镜头前,语气平静地说出了几句在整个编程圈引发震荡的话:"Zig禁止AI生成代码。我们发现AI提交的代码,全部拒绝。"
他叫Andrew Kelley,Zig语言的创造者。2015年他开始写第一行Zig代码,2018年辞去全职工作全身心投入。十一年过去了,Zig的最新版本是0.16.0——依然不是1.0。但就是这样一门"未完成"的语言,被Uber用于生产环境的跨平台编译,被Ghostty终端模拟器选为开发语言,被金融数据库TigerBeetle用来处理真实世界的交易,在Stack Overflow上跻身"最受推崇语言Top 5"。
这段采访之所以在发布4天内就突破29万播放,不仅因为Andrew Kelley对AI、开源治理、编译器架构的看法足够硬核,更因为他在2026年整个行业疯狂拥抱AI的浪潮中,给出了一个完全相反的答案。
| 项目 | 内容 |
|---|---|
| 视频标题 | Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn't 1.0 - Andrew Kelley Explains |
| 频道 | JetBrains |
| 时长 | 73分11秒 |
| 播放量 | 29.8万(4天内) |
| 核心主题 | Zig语言十年之路:AI禁令、开源哲学与C语言的真正继承者 |
在采访中,Andrew Kelley用了"Worse is better"这个经典概念来解释自己的哲学。这个来自Richard Gabriel在1990年提出的论断认为:简单粗暴但能用的设计,往往比完美但复杂的设计更容易生存。但Andrew Kelley选择了反其道而行。
他的逻辑是:一旦发布1.0,就意味着API的承诺(commitment)。任何破坏性变更都需要经过痛苦的deprecation周期。而Zig目前还在快速迭代其核心特性——I/O接口、comptime系统、错误处理范式——这些都没到"可以承诺50年不变"的程度。
视频原话大意:1.0不是"够用了"的标志,而是"我愿意为这些API赌上声誉"的承诺。
这个观点在2026年尤其值得深思。我们看到了太多语言的1.0其实是被迫发布的:为了商业考量、为了社区稳定、为了招聘市场。Rust花了5年从0.1到1.0(2015-2020),Go花了3年(2009-2012)。Zig的十年不发布1.0,要么是理想主义的极致,要么是对软件工程责任感的另类诠释。
我的延伸分析:这实际上触及了一个更深层的工程哲学问题——API稳定性到底是对用户的承诺,还是对创新的枷锁?在AI编程工具横行的2026年,大量"API"可能一周就被淘汰(想想那些被AI Agent自动生成又自动废弃的接口),Zig对1.0的执着近乎偏执,但也恰恰是这种偏执保证了Zig代码一旦写好,就不需要频繁重构。
视频中讨论最激烈的段落,无疑是Zig的"禁止AI生成代码"政策。Andrew Kelley详细解释了:
为什么禁止:AI生成的代码(尤其是LLM生成的代码)往往表面上看起来正确,但缺少对系统整体架构的理解。Zig是一个追求"正确性"的语言,每一行代码都需要经得起comptime验证和手动审查。AI代码的"看起来对"反而比"明显错"更危险。
如何检测:Andrew Kelley表示,Zig社区已经发展出一套检测AI生成内容的方法论。从代码风格的微妙差异、commit message的遣词造句,到PR描述中的逻辑跳跃——有经验的reviewer可以识别出"不像是人写的"代码。
AI悖论:讽刺的是,Zig本身被大量AI公司使用。Bun(JavaScript运行时)用Zig编写,而Anthropic(Claude的母公司)在AI基础设施中也使用了Zig。Andrew Kelley称之为"Zig的AI悖论"——AI公司用一门禁止AI贡献代码的语言来构建AI基础设施。
我的判断:这个政策在2026年的开源生态中几乎是独一无二的。当GitHub Copilot已经成为开发者的标配,当"vibe coding"(让AI随意生成代码)成为潮流,Zig的立场显得格格不入。但从工程角度看,这其实是高度理性的——系统级编程语言的一个bug可能导致内存泄漏、安全漏洞甚至系统崩溃。在这个层面上,"AI生成的代码需要额外审查"不是一个激进的观点,而是一个基本的专业判断。
Andrew Kelley在视频中解释了Zig从GitHub迁移到Codeberg的决定。这不仅仅是一个技术选择,而是一个关于开源生态治理的政治声明。
他的核心论点是: - GitHub(微软)的利益与开源社区的利益并不总是一致 - GitHub Copilot的训练数据来自开源代码,但贡献者并未获得公平补偿 - 平台锁定(vendor lock-in)对一个声称追求自由的开源项目来说是自相矛盾的
Zig已经完成了迁移。在Codeberg上,Zig获得了5.2k star,38,549个commit仍在继续。而GitHub上的旧仓库已经标注为"Moved to Codeberg"。
延伸分析:这不是第一个从GitHub迁出的大型项目。但在2026年,当GitHub深度整合了AI功能(Copilot、AI code review、自动PR生成),这个迁移的含义变得更加深远。Andrew Kelley实际上在说:我拒绝让我的开源项目成为AI训练数据的免费矿场。这种立场可能在未来引发更多项目的效仿。
视频中一个被低估的技术亮点是Zig正在摆脱对LLVM的依赖。
LLVM是现代编译器的基础设施,Clang、Rust、Swift都依赖它。但LLVM的代价是编译速度慢。Andrew Kelley透露,Zig正在构建自己的后端编译器,目标是在debug模式下实现百万行代码50ms编译。
这个数字意味着什么?2026年主流的C++项目编译可能需要几分钟到几十分钟。Rust的大型项目编译时间也是分钟级别。50ms意味着编译时间低于人眼感知阈值——你按下保存,代码就已经编译完成。
技术延伸:这个目标的实现路径包括: - 自研编译器后端(不依赖LLVM的通用优化管线) - 更激进的增量编译 - 利用Zig的comptime在编译期预计算更多内容
如果Zig真的做到了,这将从根本上改变系统级编程的开发体验。想象一下:写底层驱动代码像写JavaScript一样获得即时反馈。
Zig Software Foundation(ZSF)是一个501(c)(3)非营利组织,拥有约67万美元的资金。Andrew Kelley本人的年薪是15.4万美元。
在视频中,他坦言这个薪资远低于他在行业中的市场价值(以他的能力,在FAANG公司轻松拿到40-50万美元年薪)。但这也正是ZSF的实验意义所在——证明开源开发可以通过非营利基金会持续运营,而不需要被商业公司收购或走VC路线。
Andrew Kelley甚至提到了"1亿美元挑战"——如果有人给Zig 1亿美元,他会怎么花?他的回答是:不会改变核心路线,但可以雇佣更多全职贡献者,加速稳定版本发布。这个回答本身就说明了很多:Zig的瓶颈从来不是钱,而是需要足够多的"理解Zig哲学"的人。
Andrew Kelley在视频中对Rust和C的评价非常犀利:
对C:C是伟大的,但C的预处理系统和隐式转换是灾难。Zig的目标是"比C更像C"——保留C的简洁和透明,消除C的陷阱。他甚至说"Zig Embraces C More Than C Itself"。
对Rust:Rust选择了"安全第一"的路线,通过borrow checker在编译期保证内存安全。但Andrew Kelley认为Rust的复杂性让它不适合替代C——C程序员要的不是另一个复杂的语言,而是一个更安全的C。
Zig的杀手特性:Comptime(编译期执行)。在Zig中,你可以在编译期运行任何Zig函数,操作类型就像操作值一样。这意味着Zig不需要宏(macro)、不需要泛型的特殊语法、不需要代码生成工具。一切的元编程都回归到"写普通代码"的范畴。
我的观点:Zig和Rust不是竞争对手,而是互补的。Rust适合需要编译期内存安全保证的大团队协作(如Firefox Servo、Linux内核模块),Zig适合追求极致简洁和性能的单兵或小团队项目(如嵌入式开发、游戏引擎底层、系统工具)。2026年的开发者不应该问"学Rust还是学Zig",而应该问"我的问题域更需要哪种保证"。
采访的最后部分涉及开源治理。Andrew Kelley自称是Zig的BDFL(Benevolent Dictator for Life),并直言一个有远见的领导者比委员会更高效。
他的理由是: - 委员会倾向于妥协,而好的设计往往不是妥协的产物 - 语言的设计需要一致性(coherence),多人同时做设计决策很难保持一致 - 当出现分歧时,需要一个最终裁决者来打破僵局
这个观点在2026年的开源社区并不常见——我们看到了太多项目转向社区治理模式。但Zig的选择有其道理:Linus Torvalds对Linux的BDFL模式运行了30年,Python的Guido van Rossum也长期采用类似模式。
风险提示:Andrew Kelley也坦诚地讨论了"如果他离开会怎样"的问题。他的回答是ZSF有足够的核心贡献者可以继续推进。但客观来说,失去BDFL对任何项目都是重大风险——Python在Guido卸任后花了很长时间才建立起新的治理结构。
mindmap
root((Zig 2026深度解读))
核心哲学
拒绝1.0
API承诺需谨慎
快速迭代 > 稳定锁定
"Worse is better"的反面
简洁至上
无隐式控制流
无隐藏内存分配
无宏/无预处理器
AI立场
禁止AI生成代码
检测AI贡献
拒绝表面正确的代码
AI悖论
AI公司使用Zig
Bun/Anthropic依赖Zig
技术特性
Comptime
编译期执行任意函数
类型即值
替代宏和泛型
自研编译器后端
摆脱LLVM
目标50ms/百万行
C互操作
零成本C/C++编译
跨平台交叉编译
开源治理
BDFL模式
单一决策者
设计一致性
离开GitHub
迁移至Codeberg
拒绝AI训练数据开采
ZSF基金会
501(c)(3)非营利
$670K资金
可持续性实验
生产用户
Ghostty终端
TigerBeetle数据库
Uber跨平台编译
Bun JS运行时
如果你是一个C/C++开发者,Zig值得认真考虑。它不是要取代你现有的技能,而是提供了一个更安全的C。Andrew Kelley在视频中专门讲了"从C迁移到Zig"的路径——你可以逐步引入Zig编译单元到现有的C/C++项目中,Zig可以直接调用C头文件,不需要任何FFI绑定。这意味着迁移成本几乎为零。
Zig的No-AI Policy给了我们一个思考框架:在什么场景下,AI生成的代码是不可接受的? 答案是:当正确性比速度更重要的时候。系统级编程、安全关键系统、加密算法实现——这些领域的代码质量决定了整个系统的命运。AI工具可以是辅助(自动补全、文档生成),但不能是代码的最终作者。
Andrew Kelley的BDFL模式 + 非营利基金会的组合,提供了一种介于"完全社区治理"和"商业公司控制"之间的第三条路。关键要素是:透明的财务披露($154K年薪)、清晰的贡献者路径、以及一个足够小的核心团队来保持设计一致性。
Andrew Kelley明确表示不建议把Zig作为第一门语言。Zig的内存管理、comptime、底层特性要求你对计算机架构有基本理解。推荐的路径是:先学Python或JavaScript建立编程思维 → 学C理解内存和指针 → 然后学Zig获得"更安全的C"体验。
在一个AI自动写代码、框架每月迭代、1.0随便发布的2026年,Andrew Kelley用十年不发布1.0的偏执和对AI的坚决抵制告诉我们:有些东西值得用人类的手写好每一行。
本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵爱卫生(微信ID: gprshome201101)维护,聚焦5G/6G核心网、3GPP标准解读、通信前沿技术深度分析。 出版作品有《5G核心网原理与实践》《IMS原理与实践》等4本通信专业书籍。知识星球「51学通信」提供深度技术答疑和行业洞察。
[!tip] 51学通信知识星球 星主:爱卫生(微信:gprshome201101)——公众号「51学通信」创办者,19 年通信行业运维与讲师经验,著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书(各大电商平台有售)。 星球定位:深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域,主打运维岗位与信令分析。 当前规模:5200 篇主题 / 990 个回答,198 元/年。 加入福利:加入星球后请加爱卫生微信,拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题,另有群内分享。 AI 加持:51学通信知识星球已作为 skill 接入 WorkBuddy,使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例,做总结、找文档和 PPT 等场景全覆盖。
