在 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 特别感兴趣的开发人员。
暂无签名
最新发布
“理解数据科学”系列文章
2017 年 1 月 25 日
Java 避坑指南：Java 高手笔记代码篇
本迷你书包括 86 个业务开发中常见踩坑点。每一个知识点都相当的实用，是程序员业务开发中的必备避坑指南...
前阿里 P9 技术专家，1 小时带你深入理解中台
滴滴业务中台构建实践
腾讯云知识图谱技术与应用实践之路
评论