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

更新日期: 2018-03-13阅读: 3.4k标签: 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

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

Typescript 和 Javascript之间的区别

TypeScript 和 JavaScript 是目前项目开发中较为流行的两种脚本语言,我们已经熟知 TypeScript 是 JavaScript 的一个超集,但是 TypeScript 与 JavaScript 之间又有什么样的区别呢?

Nerv_一款类 React 前端框架,基于虚拟 DOM 技术的 JavaScript(TypeScript) 库

Nerv_是一款由京东凹凸实验室打造的类 React 前端框架,基于虚拟 DOM 技术的 JavaScript(TypeScript) 库。它基于React标准,提供了与 React 16 一致的使用方式与 API。

TypeScript_TS系列之高级类型

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

TypeScript 在 JavaScript 的基础上的改动

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

5分钟了解TypeScript

有两种方式安装TypeScript,如何创建第一个TypeScript文件,在TypeScript中,可以使用interface来描述一个对象有firstName和lastName两个属性,TypeScript支持JavaScript的新功能,其中很重要的一个功能就是基于类的面向对象编程

如何编写 Typescript 声明文件

使用TypeScript已经有了一段时间,这的确是一个好东西,虽说在使用的过程中也发现了一些bug,不过都是些小问题,所以整体体验还是很不错的。有关TypeScript声明类型声明相关的目前就总结了这些比较常用的

谷歌为何会选用TypeScript?

谷歌在很早之前就张开双臂拥抱 Web 应用程序,Gmail 已经发布 14 年了。当时,JavaScript 的世界是疯狂的。Gmail 工程师不得不为 IE 糟糕的垃圾回收算法捏一把汗,他们需要手动将字符串文字从 for 循环中提取出来,以避免 GC 停顿

为什么要学习Typescript 语言呢?Typescript 开发环境安装

TypeScript是一种由微软开发的自由和开源的编程语言。它是JavaScript的一个超集,TypeScript是JavaScript类型的超集,它可以编译成纯JavaScript。TypeScript可以在任何浏览器、任何计算机和任何操作系统上运行,并且是开源的。

使用TypeScript两年后-值得吗?

差不多两年前,我在一个创业团队中开始了一个全新的项目。用到的全都是类似Microservices,docker,react,redux这些时髦的东西。我在前端技术方面积累了一些类似的经验

typescript - 一种思维方式

我理解的 TS 是一种可以对类型进行约束的工具,但是现在才发现 TS 并不简单是一个工具,使用它,会影响我写代码时的思考方式。

点击更多...

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