TypeScript 2.0 候选版发布〔译〕

2016/09/12 15:00
阅读数 52

原文:Announcing TypeScript 2.0 RC
August 30, 2016 by Daniel Rosenwasser

TypeScript 2.0 候选发行版(RC)出来了,离 TypeScript 2.0 最终发布也就不远了,赞!如果你还没开始使用 TypeScript,可以先看看网站上的教程。

要使用 RC 版本,可以下载 TypeScript 2.0 RC for Visual Studio 2015(需要 VS2015 Update 3);也可以通过 NuGet 下载,或者像下面这样使用 npm:

npm install -g typescript@rc

Visual Studio Code 用户想使用 RC 版本请参考这里。

这个 RC 版本让大家看到 2.0 正式版的样子,我们通过这个版本广泛收集用户反馈,将 2.0 打造得更加稳定可靠。总的来说,一般情况下 RC 版本已经足够稳定了,并且我们不希望再往上加新的特性。

不过,自 2.0 Beta 发布以来,已经加了不少东西,所以下面可能会有你尚未听说的新特性。

推断类型(Tagged Unions)

译者注

对于 Tagged Unions 的翻译,我查了很多资料,在 wiki 上找到如下描述:a tagged union, also called a variant, variant record, discriminated union, disjoint union, or sum type。其中 Variant 这个说法在 VB 中十分常用。在参考了 C# 对 var 关键字的翻译之后,我决定将其翻译为“推断类型”。

推断类型是一种数据结构,很像联合(C/C++程序员一定知道这个结构)。它有一个字段(或称为属性)用于识别当前结构的确切类型。(参考 What is a tagged union)

推断类型使 JavaScript 在某些方向更像 F#、Swift 等语言。为此,JavaScript 程序员们一定会非常高兴。这个特性也叫 可识别联合互斥联合 或 代理类型。不过特性本身显然比名称更有意思。

假设有两个类型:Circle 和 Square,然后定义它们的联合类型,命名为 Shape


注意 Circle 和 Square 都有一个叫 kind 的字段,保存的字符串常数,表示类型。也就是说 Circle 的 kind 总是"circle"。每个类型都有一个共同的字段,但通过不同的值作为 标记 区分开来。

在 TypeScript 1.8 中,如果写一个获取面积的函数,需要判断 Shape 的每种类型。

注意到我们为每种图形都使用了一个中间变量来使代码看起来简洁。

在 2.0 中就不再需要中间变量了。语言懂得如何通过 kind 来辨别类型,所以你可以少写点代码

上面的代码完全正确,TypeScript 能通过流程控制分析每个分支上的正确类型。可以使用 --noImplicitReturns 和即将可用的 --strictNullChecks 特性保证这些检查更彻底。

推断类型让 JavaScript 这种形式下的代码更简洁也更安全。例如,像 Redux 这样的库经常使用这种形式的来处理 action。每个独立的

更多字面类型

1.8 带来的字符串字面类型非常有用,就像上面看到的那样,可以用它来处理推断类型。

除了字符串,我们还想提供更多的类型。在 2.0 中,每个独特的布尔、数值或枚举成员都可以拥有自己的类型!

这样在使用推断类型时,我们可以快速而地处理一些事情而毫无违和感。

这里的 Result<T> 类型可能表示失败。如果表示成功,它有一个值,如果表示失败,它包含表示失败原因的 reson 字段。value字段仅在 success 是 true 的时候有效。

你可能已经注意到了,枚举值也可以拥有它们自己的类型!

Globs语法、包含和排除

译者注

Globs 直译是“团块”的意思,不过这显然不如 Globs 本身意思明确。所以这里我没有翻译这个词。关于 Globs,可以参考node-blog 在 README.md 中的说明。

首次向大家介绍 tsconfig.json 文件的时候,手工列出所有文件实在痛苦。TypeScript 1.6 引入了 excludes 配置来缓解这个问题;然而,这显然不够。痛苦在于,写完了每条文件路径,仍然会有问题发生,结果是因为忘了排除新文件。

TypeScript 2.0 终于开始支持 Globs 语法。Globs 允许我们在路径中使用通配符,这样一来,写路径再也不是件乏味的事了。

include 和 exclude 配置中都可以使用 Globs 语法。来看一个 tsconfig.json 的示例:

TypeScript globs 语法支持如下通配符:

  • * 匹配 0 个或多个字符,分隔符(比如 / 或 \)除外

  • ? 精确匹配 1 个字符,分隔符除外

  • **/ 匹配任意层子目录

接下来的事

之前提到,TypeScript 2.0 很快就发布了,但是使用 RC 版本带来的 2.0 的新特性会为社区发展带来巨大的作用。

如果发现任何问题,可以 通过Github 反馈给我们。我们非常愿意听到你尝试之后给我们的反馈。祝愉快!


本文分享自微信公众号 - 边城客栈(fancyidea-full)。
如有侵权,请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”,欢迎正在阅读的你也加入,一起分享。

展开阅读全文
打赏
0
0 收藏
分享
加载中
更多评论
打赏
0 评论
0 收藏
0
分享
返回顶部
顶部