用TypeScript弥补Elm和JavaScript之间的差距

时间: 2018-03-13阅读: 2001标签: TypeScript

近些日子,我使用了新语言编程,从JavaScript,切确地说是Elm,转成TypeScript。写过一篇文章解释了我为什么选择TypeScript作为我的前端语言。在本文中,我将继续深挖一些我非常喜欢的TypeScript特性。


联合类型--更好地表达数据

在我短暂使用Elm编程的过程中,越来越喜欢联合类型这个特性。让我们探究这个特性,看它是怎么让Elm和TypeScript变得更加好用。

联合类型,又被称为标记联合和代数数据类型(ADTs)。相对于仅仅只是用JavaScript内置的数据类型,它能让编程者更加精确地表达数据。

很多编程语言难以表达好结构奇怪的数据。这些语言只提供一小组内置类型,而你所有数据都得使用这些类型去表达。所以你经常使用"null",或者布尔值或者字符串去表达奇怪的细节,这是很容易出错。

Elm的联合类型让复杂数据更加自然地表达--Evan Czaplicki(Elm作者)。

Redux是受Elm启发而来。在Redux和Elm中,应用数据的流动和变化通过接口的形式体现。这个过程非常类似Elm中的联合类型。让我们看些代码来证明这一点。

Redux Reducer 例子

Redux中的核心抽象就是reducer函数。store是应用中储存数据的地方,reducer函数作用于store之前,它让开发者能精确控制着应用数据的变化。在用redux构建的应用中,数据被认为是不可变化的,改变数据的唯一方法是行动触发了reducer函数,reducer函数根据行动的类型返回下一个数据状态。配合Immutable js,JavaScript基本拥有了Elm 架构的所有功能。唯一缺失的是静态数据,尤其是联合类型。接下来,我重写了一些reducer函数的例子来证明Elm和Redux的相似。

当我开始学习Elm时,我发现了Redux和Elm架构之间的相似性,我就像


我在哪里?耶,是的,联合类型。就如你上面所看的,我使用了一个联合类型:'Msg'类型。这个关键词现在变成了一种类型。当你使用Javascript和Redux时,你需要确保reducer函数是正确的。所以你必须将动作类型定义为不变类型并且确保它们没写错,还要确定在reducer函数中没有改变了数据状态。

你写了大量的单元测试,确保每种情况都覆盖到,并且每种场景都能返你想要的结果,这些结果是由动作触发或reducer函数决定的。随着项目的发展,事情开始偏离正轨。当你重构你的代码时,保持测试与代码同步是非常烦人的事情。Redux需要数据的正确,但是由于Javascript自身没有静态类型,我们编写或者重构代码时,不能在编译器时就帮我们检查出来。

然而在Elm中就完全不一样了。编译器,依靠其本身优秀的特性,会全程帮助我们。事实上,如果写错了类型或者常数,就不能编译成功。这就是联合类型的力量所在。

当调用update函数时,按字面意思,必须传递一个"Msg"类型给函数;如果传递了其它内容,Elm将不会编译通过。如果忘记处理其中某个情况,Elm编译器会给你一个友好提示,告诉你现在不能处理所有情况,因为你没有将默认的情况考虑进去。

这意味着在编译的时候,你就能查找出所有bug而不用等到代码运行才发现。这样,由于运行时出的错误和写测试用例所花费的一大串时间都能省下来。除此之外,联合类型让我们可以用声明式和描述式的方式去定义数据类型和使用方式。

正如 上一篇文章所讨论的,不管我多喜欢Elm,我还是时不时要写JavaScript。TypeScript帮我解决了这个难题,主要是因为它支持联合类型。让我们看看在Redux中怎样使用TypeScript的联合类型。


有人记得是哪部电影吗?


用静态数据构建UI组件框架编写组件框架文档

react首先提出了构建独立可重复使用的UI组件框架这个概念。经过几年的发展,我们真的看到一些令人惊叹的框架,比如Grommet UXMaterial UIBlueprint 和 Ant.Design。我一直有个目标,想为这些框架做出贡献,现在我已成为Grommet的贡献者。看着这些优秀框架的建立过程,让我更加明白哪些功能是框架能做,哪些不能做。

创建可复用UI组件是我的日常工作,在构建react/TypeScript开源项目的过程中,我发现这种能力得到了提升。不仅如此,我花在写文档和测试用例的时间比以前少。这要归功于TypeScript编译器,跟Elm编译器很类似,它们可以给你很有用的建议,让你能嵌入元数据,这些元数据在代码中描述了你的目的,让编译器去使用。它允许您在编写代码时对其进行文档化,使用智能工具甚至可以为您生成文档。

如果我将要构建一个全新的UI套件,基于上面提到几点原因,我百分百会使用TypeScript。


总结

静态类型是一个被JavaScript丢失的特性。我们非常幸运看到,当我们写JavaScript时,我们能选择去使用静态类型。不管你是不是有函数编程的背景,类型都能帮你写出自文档的代码,这些能帮你规范好数据。在没有静态类型下,是很难做到的。


原文出处 Bridging the Gap Between Elm and JavaScript with TypeScript 
翻译来源:http://www.zcfy.cc
站长推荐

1.云服务推荐: 国内主流云服务商,各类云产品的最新活动,优惠券领取。地址:阿里云腾讯云华为云

链接: https://www.fly63.com/article/detial/500

JavaScript和TypeScript中的void

如果你来自传统的强类型语言,可能会很熟悉 void 的概念:一种类型,告诉你函数和方法在调用时不返回任何内容。void 作为运算符存在于 JavaScript 中,而作为基本类型存在于 TypeScript 中。在这两个世界中

TypeScript 在 JavaScript 的基础上的改动

在做比较大的,多人合作的项目的时候,TypeScript会更加地适合,这得益于它的可读性,面向对象性以及易于重构的特点。但如果只是自己做小程序,不需要太多人参与的时候,JavaScript则会更加简单。

TypeScript条件类型精读与实践

在大多数程序中,我们必须根据输入做出决策。TypeScript 也不例外,使用条件类型可以描述输入类型与输出类型之间的关系。

Typescript 进阶

这是一篇自己总结的 Typescript type相关的进阶文章,适合有一定ts基础,并在type编写方面感到迷惑、感到绝望的同学,也给那些入门Typescript已久,却无法更上一层楼的童鞋一个方向

TypeScript 渐进迁移指南

最大的问题是我没有提供迁移大型项目的解决方案。显然,大型项目不可能在短时间内重写一切。因此,我很想分享下我最近学到的迁移项目到 TypeScript 的主要经验。

Typescript中undefined与null的区别

ts配置文件中有个选项strictNullChecks 如果设置值为false,那么以下代码都不是问题 ,如果设置为true, 以下代码可以说明undefined和null在ts中的区别

TypeScript功能:const断言

我发现官方的 TypeScript 文档非常有用,但是总觉得有点过于学术化并且枯燥无味。每当我发现一个新功能时,我想要知道这个功能究竟能够解决什么问题而不是长篇大论

TypeScript_TS系列之高级类型

交叉类型:将多个类型合并为一个类型、联合类型:表示取值可以为多种类型中的一种、混合类型:一个例子就是,一个对象可以同时做为函数和对象使用,并带有额外的属性、类型断言:可以用来手动指定一个值的类型

如何更好的编写js代码?

改进你 JS 代码要做的第一件事就是不写 JS。TypeScript(TS)是JS的“编译”超集(所有能在 JS 中运行的东西都能在 TS 中运行)。 TS 在 vanilla JS 体验之上增加了一个全面的可选类型系统

10个帮助你捕获更多Bug的TypeScript建议

有一个对TypeScript常见的误解是:一个变量只要标注了类型,那么它总是会检查自己的数据类型是否与我们的预期一致。与该误解相呼应的想法会认为:对一个从后端返回的对象进行类型标注可以在代码运行时执行检查来确保对象类型的正确性。

点击更多...

内容以共享、参考、研究为目的,不存在任何商业目的。其版权属原作者所有,如有侵权或违规,请与小编联系!情况属实本人将予以删除!