Scarf 告别 Haskell：AI 时代编译太慢
Scarf has moved away from Haskell
作为 Haskell 的长期拥趸和 Haskell Foundation 董事会成员，我不得不承认，Scarf 在经历了 7 年的生产环境验证后，已无奈地决定迁移出 Haskell。虽然 Haskell 的类型系统曾帮我们捕获了大量 Bug，但在 AI 编程时代，其漫长的编译时间成为了致命瓶颈。当 LLM 能在几分钟内生成代码时，等待编译的十几分钟让开发循环变得难以忍受。我们已转向 Python，利用 AI 快速重写核心功能，实现了从需求到修复的极速交付。这次迁移并非否定 Haskell 的价值，而是面对 AI 重塑软件经济学时的务实选择。
如果 LLM 能在几分钟内生成一个可用的实现，而你的编译步骤却需要更长的时间，那么你的语言和构建系统就成了开发循环中的瓶颈。
- 一位从业者指出 Haskell 在 Apple Silicon 上无法交叉编译到 x86 Linux 服务器，导致开发循环极慢，而 Go 的跨平台部署极其简单。
- 有评论者认为静态类型系统往往是程序员过度设计的陷阱，Python 的动态特性反而能帮助开发者摆脱不必要的架构束缚，更专注于代码实现。
- 针对 AI 辅助编程，有观点反驳称强类型系统才是 LLM 的最佳搭档，而动态语言在修改函数参数时缺乏静态检查，极易引发连锁错误。
- 多位开发者提到 OCaml 是解决编译速度与类型安全矛盾的理想方案，相比 Haskell 拥有更快的编译时间，同时能很好地配合 LLM 进行 Vibe Coding。
- 有评论者担忧过度依赖 LLM 生成的代码补丁会导致代码库陷入不可维护的恶性循环，最终引发技术债务的崩溃。