原文: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源创计划”,欢迎正在阅读的你也加入,一起分享。