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

  • Sergio De Simone
  • Rays

2017 年 6 月 5 日

话题:JavaScript语言 & 开发

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

JavaScript语言 & 开发