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

栏目: 编程语言 · 发布时间: 6年前

内容简介:使用Elm实现生产系统运行零异常

在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


以上所述就是小编给大家介绍的《使用Elm实现生产系统运行零异常》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

How to Design Programs

How to Design Programs

Matthias Felleisen、Robert Bruce Findler、Matthew Flatt、Shriram Krishnamurthi / The MIT Press / 2001-2-12 / 71.00美元

This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This approach fosters a var......一起来看看 《How to Design Programs》 这本书的介绍吧!

在线进制转换器
在线进制转换器

各进制数互转换器

HTML 编码/解码
HTML 编码/解码

HTML 编码/解码

html转js在线工具
html转js在线工具

html转js在线工具