因 AI 编译太慢，Scarf 放弃 Haskell 转投 Python：编程语言经济学已被改写

开源初创公司 Scarf 创始人 Avi Press 宣布，在经过 7 年的生产环境运行后，公司已将核心后端从 Haskell 迁移至 Python。Press 本人不仅是 Haskell 的长期拥趸，更曾担任 Haskell 基金会董事，此次技术栈弃用并非质疑 Haskell 的技术优越性，而是源于 AI 时代软件开发经济学的根本性逆转。

文章指出，随着大模型（LLM）和 AI Agent 介入开发流程，代码生成变得极其廉价且高效。Haskell 虽然拥有强大的类型系统，能捕获编译时错误，但其漫长的编译时间和高昂的冷启动成本，在需要高频、并行试错的 AI 工作流中成为了不可接受的瓶颈。相比之下，Python 尽管牺牲了部分静态类型安全，但其秒级的反馈循环与 AI 辅助编程工具的完美契合，极大提升了整体研发效能。

Scarf 利用 LLM 快速完成了核心功能的重写与迁移。Press 强调，软件开发的“错误捕获”已从“编译时/运行时”转变为“生成时”，未来的编程语言必须优先考虑构建速度和 Agent 友好性，否则将在 AI 驱动的效率革命中面临被边缘化的风险。

事件分析

💡 核心观点：AI 编程时代的开发核心矛盾已从“保证代码正确”转向“加速迭代循环”，编程语言必须进化为“Agent 友好型”才能生存。