AI在写代码方面越来越厉害，这是个不争的事实。很多程序员认为它只是帮自己写代码更快了，这其实是个误区。真正发生变化的是编程语言之间的竞争规则。最近，有人做了一个实验，让AI用13种编程语言实现一个简化版的Git。总共进行了600次测试。主要看三个指标：生成时间、token消耗成本和代码量。结果确实让人大跌眼镜。动态语言全面碾压静态语言。排名非常简单：第一梯队是Python、Ruby和JavaScript。而TypeScript、Rust、Haskell等静态类型语言则远远落后。 为什么会这样呢？答案很简单：约束少。AI写代码的本质就是要满足一堆条件，比如功能要对、API要对、逻辑要通。如果用的是静态类型语言，还要加一层条件：类型必须完全正确。这样一来，条件越多，AI就越难同时满足这些要求。结果就是思考时间更长，token消耗更多，成本更高。 实验中量化了这个代价：Python加上类型检查慢了1.6倍，Ruby加上类型系统慢了2到3倍。一句话总结：类型系统对AI来说就是一种负担。 还有一个反直觉的现象：代码越短反而越慢。比如像Haskell、OCaml这样的语言，代码最短表达最强，但AI写得更慢。因为这些语言要求AI理解更多抽象概念、类型推导和函数组合。 还有一个扎心的结论：类型系统并不能自动保证AI写出可靠的代码。在600次运行中，只有3次失败来自Rust和Haskell。这说明类型系统并不能直接帮助AI写出更安全的代码。 那Go语言怎么办呢？它处于中间位置，比Python慢但比Rust轻一些。但它的简单性在AI时代反而是个优势。 这个实验给我们一个重要的启示：未来的竞争不再只是看谁写得好。以前选语言看性能、生态和团队经验，但现在要考虑一个新指标：AI生成效率。 最后送给你一句话：在AI时代，最好的语言不是最优雅的，而是AI最容易写的。所以程序员们要醒醒了。