使用Elm实现生产系统运行零异常

语言开发

摘要： 在QCon伦敦2017大会上，Noredink的软件工程师Richard Feldman介绍了公司转向Elm开发的决策过程，他们实现了一个具有10万行代码的生产系统自2015年以来运行零异常。Feldman也是Manning出版的《Elm in Action》一书的作者。本文概述了Feldman的主要观点。

作者： Sergio De Simone

正文：

在QCon伦敦2017大会上，Noredink的软件工程师Richard Feldman介绍了公司转向Elm开发的决策过程，他们实现了一个具有10万行代码的生产系统自2015年以来运行零异常。Feldman也是Manning出版的《Elm in Action》一书的作者。下面，我们将概述Feldman的主要观点。

Elm是一种编译成JavaScript的纯函数式编程语言，它使用不可变数据和静态类型（Static Typing）创建基于浏览器的应用。Feldman回顾了Noredink是如何从在小型非关键业务中采用Elm，直至现在完全采用Elm这一过程。尤其是在完成一个为期数月的React开发项目后，他认识到：

采用Elm会缩短项目的实现时间。它不仅可以让公司减少开发人员上手及在公司技术栈中引入该项新技术的时间，而且最终结果也更易于维护。

Feldman指出，使用Elm可以增加生产率和可靠性。其中的一些关键影响因素包括：

• 在线编辑器Ellie。Ellie是一种用于Elm的高级REPL环境，为开发人员编写、编译和呈现Elm代码提供了丰富的接口。

• Elm禁止null值在系统中自由传播，这避免了“十亿美元错误”（One Billion Dollar Mistake）的发生。null值需要显式地使用Maybe类型值处理。

• Elm强制使用单一不可变（Single Immutable）值表示整个UI的状态。和React中一样，虽然模型不必是单一值，但是不存在关联到单个组件的状态。使用该模型，Elm的行为类似于Virtual DOM，这是实际DOM的diff化，因此只应用与应用相关的更改。在React中使用了同样的方法维持性能，同时简化了对不可变值的处理。

• 将UI表示为一个单一不可变值，这种做法最突出的优点在于，可以通过与UI更改相关联的不可变值集处理UI的一系列更改。在以调试模式编译时，Elm可以通过简单地点击相应的模型值去查看UI的历史状态。此外，还可以导出这一系列值，这使得别的开发人员可快速地重建UI的异常状态和生成方式。

• 静态类型检查是Elm的一个巨大卖点。据Feldman介绍，Elm几乎完全适用“一旦编译，即可工作”原则。

• Elm的可靠性主要原因在于其处理JavaScript互操作性的方式。不同于其它大多数编译成JavaScript的语言，Elm事实上强制使用了一种基于消息的方式，使得JavaScript代码运行于服务内部。这确保了无类型的JavaScript代码不会破坏由静态特性提供的可靠性保证。

• 最后一点，虽然Elm的软件包管理工具不如npm那样包罗万象，但是它具有自身的强大之处。特别需要指出的是，它仅允许软件包中包含Elm代码，也就是说不允许任何的二进制文件，这使得其相比于npm更为安全。此外，它仅支持被正确编译的软件包，并自动强制使用了语义版本。

Feldman总结为，JavaScript确保了前端能更快地展示在屏幕上，而Elm确保了更快的整体开发速度。

报告最后提及了使用Elm这类语言时常能听到的反对声音，那就是难于找到可用的开发人员。Felman指出，事实上Noredink从使用Elm中取得了两个优势：一方面，这使得公司的求职岗位脱颖而出；另一方面，公司吸引了那些对学习Elm特别感兴趣的开发人员。

查看英文原文： Zero Runtime Exceptions in Production with Elm