Mercury 200 万行 Haskell 代码成功落地：生产工程实践揭秘，效率提升显著！

对可靠性的理解

传统系统可靠性思维侧重预防故障，但有盲点。作者团队认为系统可靠在于能“吸收变化”，具备适应能力。在人员流动大的公司，类型系统是操作辅助工具，能编码组织知识。稳定性工程团队会研究功能在生产环境的预期行为，与产品团队合作确保应对故障。

纯度是一种边界，而非属性

关于 Haskell，常见误解是认为纯度是语言属性，实则是接口强制执行的特性。Haskell 中很多“纯”函数背后有副作用，但被封装在一定范围内。在生产环境，应控制修改，关注不纯部分的范围。对于新工程师，“纯度是要维护的边界”更有用。

让正确的事情变得容易

大型代码库中，正确性依赖特定操作顺序或步骤，但这些经验口诀易被遗忘。Haskell 可将口诀编码到类型中，如重构类型让提交工作的唯一途径包含事件发布，使正确操作流程成为阻力最小的路径，保留组织知识。

持久执行

金融系统流程复杂，Mercury 曾用数据库支持的状态机协调，问题多。采用 Temporal 持久执行框架是明智决策，它让工作流可按顺序编写，平台处理重试、超时等。Temporal 与 Haskell 契合，工作流是事件历史上的纯函数。Mercury 开源了用于 Temporal 的 Haskell SDK，Temporal 提升了运营效率。

为领域而非传输进行设计

生产系统发展中，常见错误是让调用系统特性渗透到领域模型中，如代码抛出 HTTP 状态码异常并直接返回给前端用户。