首页 › programming › Zig十年拒绝1.0:理想主义者的AI禁令与语言哲学

Zig十年拒绝1.0:理想主义者的AI禁令与语言哲学

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语言的真正继承者

核心内容拆解

1. 为什么Zig拒绝1.0——这不是拖延,是策略

在采访中,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代码一旦写好,就不需要频繁重构。

2. No-AI Policy:2026年最反潮流的开源决策

视频中讨论最激烈的段落,无疑是Zig的"禁止AI生成代码"政策。Andrew Kelley详细解释了:

我的判断:这个政策在2026年的开源生态中几乎是独一无二的。当GitHub Copilot已经成为开发者的标配,当"vibe coding"(让AI随意生成代码)成为潮流,Zig的立场显得格格不入。但从工程角度看,这其实是高度理性的——系统级编程语言的一个bug可能导致内存泄漏、安全漏洞甚至系统崩溃。在这个层面上,"AI生成的代码需要额外审查"不是一个激进的观点,而是一个基本的专业判断。

3. 离开GitHub:当开源基础设施不再中立

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训练数据的免费矿场。这种立场可能在未来引发更多项目的效仿。

4. 摆脱LLVM:50ms编译百万行代码的野心

视频中一个被低估的技术亮点是Zig正在摆脱对LLVM的依赖。

LLVM是现代编译器的基础设施,Clang、Rust、Swift都依赖它。但LLVM的代价是编译速度慢。Andrew Kelley透露,Zig正在构建自己的后端编译器,目标是在debug模式下实现百万行代码50ms编译。

这个数字意味着什么?2026年主流的C++项目编译可能需要几分钟到几十分钟。Rust的大型项目编译时间也是分钟级别。50ms意味着编译时间低于人眼感知阈值——你按下保存,代码就已经编译完成。

技术延伸:这个目标的实现路径包括: - 自研编译器后端(不依赖LLVM的通用优化管线) - 更激进的增量编译 - 利用Zig的comptime在编译期预计算更多内容

如果Zig真的做到了,这将从根本上改变系统级编程的开发体验。想象一下:写底层驱动代码像写JavaScript一样获得即时反馈。

5. $670K基金会与$154K年薪:开源可持续性的实验

Zig Software Foundation(ZSF)是一个501(c)(3)非营利组织,拥有约67万美元的资金。Andrew Kelley本人的年薪是15.4万美元。

在视频中,他坦言这个薪资远低于他在行业中的市场价值(以他的能力,在FAANG公司轻松拿到40-50万美元年薪)。但这也正是ZSF的实验意义所在——证明开源开发可以通过非营利基金会持续运营,而不需要被商业公司收购或走VC路线。

Andrew Kelley甚至提到了"1亿美元挑战"——如果有人给Zig 1亿美元,他会怎么花?他的回答是:不会改变核心路线,但可以雇佣更多全职贡献者,加速稳定版本发布。这个回答本身就说明了很多:Zig的瓶颈从来不是钱,而是需要足够多的"理解Zig哲学"的人。

6. Zig vs Rust vs C:一门语言的自我定位

Andrew Kelley在视频中对Rust和C的评价非常犀利:

我的观点:Zig和Rust不是竞争对手,而是互补的。Rust适合需要编译期内存安全保证的大团队协作(如Firefox Servo、Linux内核模块),Zig适合追求极致简洁和性能的单兵或小团队项目(如嵌入式开发、游戏引擎底层、系统工具)。2026年的开发者不应该问"学Rust还是学Zig",而应该问"我的问题域更需要哪种保证"。

7. BDFL治理:为什么"独裁者"胜过委员会

采访的最后部分涉及开源治理。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绑定。这意味着迁移成本几乎为零。

对AI时代的开发者的启示

Zig的No-AI Policy给了我们一个思考框架:在什么场景下,AI生成的代码是不可接受的? 答案是:当正确性比速度更重要的时候。系统级编程、安全关键系统、加密算法实现——这些领域的代码质量决定了整个系统的命运。AI工具可以是辅助(自动补全、文档生成),但不能是代码的最终作者。

对开源项目维护者的启示

Andrew Kelley的BDFL模式 + 非营利基金会的组合,提供了一种介于"完全社区治理"和"商业公司控制"之间的第三条路。关键要素是:透明的财务披露($154K年薪)、清晰的贡献者路径、以及一个足够小的核心团队来保持设计一致性。

给初学者的建议

Andrew Kelley明确表示不建议把Zig作为第一门语言。Zig的内存管理、comptime、底层特性要求你对计算机架构有基本理解。推荐的路径是:先学Python或JavaScript建立编程思维 → 学C理解内存和指针 → 然后学Zig获得"更安全的C"体验。

延伸学习路径

  1. Zig官方文档 — 最权威的学习资源,Zig的文档以简洁和精确著称
  2. Zig SHOWTIME频道 — 社区维护的视频教程系列,包含Andrew Kelley本人的live coding session
  3. Learn Zig with Examples — 社区驱动的交互式学习网站,从零开始的教程
  4. Ghostty源码 — 一个用Zig编写的现代终端模拟器,是学习Zig实际项目架构的绝佳范例
  5. TigerBeetle设计文档 — 金融级分布式数据库,展示了Zig在极端可靠性要求下的应用

一句话总结

在一个AI自动写代码、框架每月迭代、1.0随便发布的2026年,Andrew Kelley用十年不发布1.0的偏执和对AI的坚决抵制告诉我们:有些东西值得用人类的手写好每一行。

参考来源

  1. Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn't 1.0 — JetBrains采访Andrew Kelley的核心视频
  2. Zig官方网站 — 语言文档、下载和最新版本信息
  3. Zig GitHub仓库(已归档) — 42,954 star,已标注迁移至Codeberg
  4. Zig Codeberg仓库 — 当前活跃开发所在地,5.2k star
  5. Zig 0.16.0 Release Notes — 2026年4月14日发布的最新稳定版

本文由「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 等场景全覆盖。

51学通信知识星球海报-扫码加入