"模型根本不在乎你用什么语言"
说这句话的是亲手缔造了Claude Code的Anthropic Agentic Coding负责人Boris Cherny,并非推特上的嘴炮预言家或风投年度趋势报告。
他在Bloomberg旗下播客Odd Lots上接受采访时,被主持人追问了一个古老到近乎无聊的问题:AI会不会把全世界推向一种统一的编程语言?
Cherny的回答方向截然相反他说,AI不会让语言世界收敛,反而会让它炸开,就像五亿四千万年前,地球生命突然从几种简单形态炸成几十个动物门类那样。
他管这叫编程语言的"Cambrian explosion",寒武纪大爆发。


▲ 科技账号SciTech Era将这段采访剪成短视频,"寒武纪大爆发"随之引发讨论
开发者社区里的分歧
这段采访被剪成46秒短视频放上X后,很快引来跟帖。PBX Science在八月初的长文里把Cherny的话拆成了完整逻辑链,标题直接就是:《As AI Reshapes Coding, Is Python's Dream of Ruling the World Finally Over?》(当AI重塑编程,Python统治世界的梦终于醒了吗?)
但等一下,Cherny并没有说Python死了。
Python依然深嵌在科学计算、机器学习和无数生产系统里,装机量不会因为一期播客蒸发。他挑战的是一种流行看法:随着AI工具成熟,世界终将收敛到某一种"全民通用语"。
Cherny说的是:不会恰恰相反
多样性为何会突然爆发?
逻辑链条是这样的,
第一层:大模型处理主流语言和冷门语言的差距正在快速收窄。今天你让Claude写Python它很顺手,写Haskell也还行;Cherny甚至提到,未来模型在汇编这种极低层语言上也可能一次做对。语言选择,越来越像实现细节
第二层:如果"学语法"和"写代码"的成本被模型大幅压低,那些过去因为学习门槛太高、生态太薄、招不到人而被活活憋死的新语言、领域语言和新范式,它们突然就负担得起了。
第三层:他用了一个材料科学的类比有些创业公司正在用AI搜索"下一种硅"式的新材料,在巨大的未知空间里发现全新可能,目标已经超出对已有材料的优化。类似地,创造新语言的门槛暴跌后,软件世界可能偏离赢家通吃的方向,出现多样性爆发。
这就是"寒武纪大爆发"的完整含义:约束一变,多样性会在短时间里猛增,整齐收敛的方向也随之被打破。
一个11天的疯狂实验
Cherny还给出了现实案例在Y Combinator Startup School 2026的访谈中,他讲了一次让人脊背发凉的实验。
▲ YC文库收录的Startup School访谈,Cherny在其中详述了多个AI编码的极端案例
JavaScript运行时Bun的底层是用Zig写的。Zig是一种手动管理内存的系统语言,极其容易出内存泄漏。团队先用Claude做模糊测试逐个找泄漏,后来索性更激进:直接让模型在强测试套件约束下,把整个代码库从Zig改写成Rust。
这个任务用动态编排的大量Agent跑了大约11天。
Cherny说,同样的活儿交给优秀的人类工程师,需要的时间量级是一年以上。
语言之间的迁移成本,那个历史上曾经是组织级战略决策、能让CTO掉头发的东西,正在被模型能力暴力改写。 如果迁移和生成成本都在跳水,组织对"必须统一到一种语言"的压力也就松了:既能继续用模型跨语言工作,也更敢为局部问题引入更合适的小语言。
评论区分成了三种方向
主帖下的社区讨论迅速分裂成三个方向,精准勾勒出这场争论的真实张力。
▲ Vanar认为AI降低了创造新抽象的成本,DSL浪潮可能卷土重来
赞成派以Vanar为代表:AI降低了创造新抽象的成本,可能解锁一波领域专用语言(DSL)与开发者工具的浪潮。这是对Cherny最直接的"赞成并具体化"。
▲ Red Stars走向另一极端:为人类设计的编程语言已经死了
激进派则走向对立面Red Stars直接宣布:为人设计的编程语言已经死了。 AI会采用最短、最"容易"的形式;如果需要系统语言,现有选择已经够多。这是"多样性爆发"的反面,收敛到对机器友好的极简表示。
▲ Jurly的冷水最精准:生态支持和信任才是瓶颈
务实派Jurly泼了一盆恰到好处的冷水:瓶颈将转向生态支持,语法退居其次。工具链与信任决定谁能存活 语言的生死取决于库、编辑器、调试器、招聘市场和长期维护,优雅的语法无法独自撑起生态。
Bell Labs背景研究者Emad Heydari Beni继续追问:如果AI最终直接交付二进制,编程语言本身是否还重要? 他自述使用Codex和Claude Code时,越来越不关心实现语言,只描述系统、约束与性能目标。
▲ Heydari的长文追问直指终极:如果AI直接给二进制,语言还重要吗?
软件工艺运动的标志性人物Uncle Bob Martin更干脆:过程性代码留给AI,人类改用声明式规格语言,只说"要什么",不说"怎么做"。
▲ Uncle Bob:人类应该转向声明式规格语言,把过程性代码交给AI
这些方向可以同时发生爆炸可能出现在人类可读的领域小语言层、模型内部的中间表示层,以及意图与验证的规格层。Cherny的"寒武纪大爆发"未必意味着GitHub上又多出700门人类日常手写的通用语言,它可能意味着语言这件事本身的定义在膨胀。
现实的阻力面:模型并没有"不在乎语言"
说到这里,必须插入一面棱镜
Microsoft Azure开发者博客在一篇冷静得近乎残酷的文章中指出:AI编码代理在通用语言上表现出色,但在DSL上往往因训练数据稀少而大幅退化。 有研究显示DSL上初始准确率可低至约20%,注入精选示例与领域规则后才能爬到85%左右。
▲ 微软开发者博客的DSL研究,为"语言爆炸"论提供了最有分量的"阻力面"
这组数据说明:如果未来真出现大量新DSL,模型并不会自动擅长它们。 "爆炸"可能伴随额外的语言工程与评测基建,难以无摩擦增殖。"模型不在乎语言"描述的是能力趋势,今天各语言上的表现仍不均匀。
TypeFox的文章从另一角度佐证:DSL的形式结构反而可以用来约束AI,降低自然语言提示的模糊性。在AI时代,语言可以同时服务于人类程序员、模型与运行时,成为三者之间的精度接口。
"脚手架该拆了",这个人连自己的产品也不放过
Cherny还说了另一件让开发者社区集体呛到的事。
他在Startup School上建议:每半年把你的claude.md、skills、hooks全删掉。 然后看新模型在没有脚手架时做什么。
原因冷酷而简洁:那些文件是为旧模型的弱点准备的。弱点已经转移了,文件没有
Anthropic据说对自己的产品也这么干了,Claude Code的系统提示被砍掉超过80%。唯一不能动的是安全规则、合规和破坏性命令拦截,Cherny把它们归为硬约束。
这和"语言多样性"主题暗暗相通:生态里的约束文件、规范层、包装层本身也在快速折旧。最终能保留下来的,将是那些对应硬约束的部分;习惯性脚手架会被淘汰
1966年的幽灵
1966年,计算机科学家Peter Landin发表了一篇至今被引用的经典论文,标题本身就是一句冷幽默:《The Next 700 Programming Languages》(下一个700种编程语言)。
六十年后,Cherny的"寒武纪大爆发"几乎是这个标题的回声,只不过这一次,"700"不再是讽刺,而可能是保守估计。
区别在于:1966年的语言爆炸受限于人类学习带宽和生态壁垒,最终只有少数几种活了下来。而2026年的这一轮,约束条件本身在剧变,模型加入了代码生产,学语法的成本也可以外包,迁移整个代码库的时间从一年以上缩短到了11天。
Landin标题里的"700",会不会再被认真对待?
这个人本身就是语言史的注脚
有一个细节值得品味Cherny的公开轨迹是这样的:高中时给TI-83图形计算器写BASIC编程指南(至今能在ticalc.org找到),后来在函数式编程、CoffeeScript和Haskell社区活跃,写了O'Reilly的*《Programming TypeScript》*,在Meta做Principal Engineer,最后进Anthropic造出Claude Code。
这是一个语言品味极重的工程师,类型系统、抽象层、语法设计贯穿他的整个职业生涯。当这样一个人说"模型不在乎语言",开发者社区会把它视作一个行业信号。
正因为他是语言的行家,这个断言才更有分量。PBX Science也特别点出了这一点:如果这话出自一个很少关心语言设计的人,你或许会当成风凉话。如今发言者从计算器BASIC一路写到TypeScript,又亲手打造编码Agent,足以让人认真思考。
印刷术让识字率爆炸,也没有让人类收敛到一种语言。Cherny的核心判断是:AI对编程可能产生类似的影响。
AI将释放多样性
寒武纪,刚刚开始