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

时间: 2018-03-13阅读: 1858标签: 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.云服务推荐: 国内主流云服务商,各类云产品的最新活动,优惠券领取。地址:阿里云腾讯云华为云

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

使用 TypeScript 开发 HapiJS 应用

要在开发中使用 TypeScrip,同时至少需要有一个工具,可以一直监听项目文件的变更,并实时的将变更更新至启动的服务中,我选择使用 Nodemon,首先添加以下几个开发依赖

项目中使用 TypeScript 的一些感悟

抛开以前做业务的时候的不完全使用,这次实践可以算是我第一次真正意义上的使用 ts。由于写法上的不同,以及对不熟悉事物的新鲜感,在这次项目开发的过程中着实有着许多感悟,于是打算写篇小东西好好记录下来

谷歌为何会选用TypeScript?

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

js装饰器_Typescript装饰器[decorators]

随着TypeScript和ES6里引入了类,在一些场景下我们需要额外的特性来支持标注或修改类及其成员。 装饰器(Decorators)为我们在类的声明及成员上通过元编程语法添加标注提供了一种方式。 Javascript里的装饰器目前处在 建议征集的第二阶段,但在TypeScript里已做为一项实验性特性予以支持。

TypeScript 被吹过头了?

使用 TypeScript 还可以增强重构能力,并且在对修改后的代码运行 TypeScript 编译器时,可以立即识别出代码中断(例如方法签名的更改)。TypeScript 带来了良好的类型检查,并且绝对比没有类型检查器或仅使用普通的 eslint 要更好

TypeScript 声明文件全解析

声明文件的定义通俗地来讲,在 TypeScript 中以 .d.ts 为后缀的文件,我们称之为 TypeScript 声明文件。它的主要作用是描述 JavaScript 模块内所有导出接口的类型信息。

TypeScript 类型元编程基础入门

TypeScript 已经在前端圈获得了广泛的群众基础。但据个人观察,很多同学还处于刚刚脱离 AnyScript 的阶段,看到 K in keyof T 这类东西就头疼,读不懂现代前端框架中普遍使用的类型操作技巧。如果你也对类型体操感到一头雾水,本文或许能为你提供一些授人以渔式的帮助

什么场景下不应该使用 TypeScript?

TypeScript 很棒,但有时用它编程只是在浪费时间。TypeScript 的优势在于它能在编译时调试 JavaScript,但有些情况并不适合我们使用 TypeScript,比如构建小型应用程序或原型应用时。

TypeScript 高级类型总结

TypeScript 是一种类型化的语言,允许你指定变量、函数参数、返回的值和对象属性的类型。以下是 TypeScript 高级类型的使用方法总结,而且带有例子。

TypeScript 中的顶级类型:any 和 unknown

在 TypeScript中,any 和 unknown 是包含所有值的类型。在本文中,我们将会研究它们是怎样工作的。any 和 unknown 在 TypeScript 中是所谓的顶部类型。

点击更多...

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