Essence and accident in language model-assisted coding
6 months ago
- #AI
- #productivity
- #software-engineering
- Fred Brooks在1986年提出软件工程中'没有银弹'的著名论断，意指没有任何单一工具或方法能大幅提升开发效率。
- 他将复杂性分为本质复杂性（问题固有的）和偶然复杂性（解决方法带来的）。
- Brooks讨论了两类人工智能：AI-1（解决语音识别等人类智能问题）和AI-2（基于规则的编程辅助，类似现代编程助手）。
- 他认为AI-1因缺乏领域迁移能力而难以应对复杂性，AI-2能帮助新手程序员但无法解决核心复杂性问题。
- 自动编程（类似现代AI代码工具）在1986年被认为存在局限，但如今已成为现实。
- 编程助手可能无法减少偶然复杂性，甚至通过提示工程增加复杂性，但它们能整合集体智慧。
- 要真正解决偶然复杂性，编程助手可能需要直接生成二进制文件，绕过源代码环节。
- 语言模型能快速暴露本质复杂性（虽然常以扭曲方式实现），加速迭代开发过程。
- 相比规范驱动开发等传统方法，现代工具实现了更快的迭代周期，印证了Brooks关于高层次编程的预言。