微软发布了 TypeScript 2.0 的 RC 版本,包含了 tagged union 功能以及对 globs 的支持。
在微软博客的声明中,TypeScript 的项目主管 Daniel Rosenwasser 这样说到:
“这个 RC 版本能够帮助我们了解完整的 2.0 版本会是什么样子,我们正在寻求广泛的反馈,使其更加稳定,从而让 2.0 成为一个可靠的发布版本。整体而言,对于通常的使用来说,这个 RC 版本足够稳定,从这个时间点开始,我们不会再添加重要的新特性了。”
其实,从 2.0 beta 版本发布到现在,有很多新内容添加了进来。
在 TypeScript 的发布候选版本中,最重要的更新之一就是 tagged union。
Rosenwasser 说到,“借助 tagged union 功能,我们能够按照现在编写 JavaScript 的模式,更加容易地实现类型安全性”。在这个领域,JavaScript 可能已经落后于像 F#、Swift 和 Rust 这样的语言,通过 tagged union,TypeScript 能够基于kind
域来识别类型,如下所示:
function getArea(shape: Shape) { switch (shape.kind) { case "circle": // 从'Shape'转换为'Circle' let c = shape as Circle; return Math.PI * c.radius ** 2; case "square": // 从'Shape'转换为'Square' let sq = shape as Square; return sq.sideLength ** 2; } }
该特性是针对 TypeScript 1.8 的功能增强,在 1.8 版本中需要对shape
中的每个类型进行类型断言。(以上的样例是针对 1.8 版本的,针对 2.0 版本的完整样例可以参考微软的发布声明。——译注)
这个发布版本还支持globs,进一步扩展了TypeScript 1.6 的 exclude
域。TypeScript 2.0 允许开发人员为路径编写通配符,Rossenwasser 说这可以是任意粒度的,它们可以用在新增的include
域上,也可以用在已有的exclude
域中,如下所示:
{ "include": [ "./src/**/*.ts" ], "exclude": [ "./src/tests/**" ] }
TypeScript 2.0 发布候选版本需要使用 Microsoft Visual Studio 2015 Update 3 ,这个版本解决了多项有较大影响的 bug,包括“在调试 Visual C++ 或 CLI 代码时,提升了调试的稳定性”,另外,还解决了“在 std::min/std::max 这样代码调用函数中,针对浮点值使用时,可能会出现的错误编译(miscompilation)问题。”
开发社区对这个 RC 版本总体上是很乐观的。在 Reddit 上,Vheissu_ 这样说到,“对 TypeScript 而言,这是一个巨大的飞跃。现在,已经不可能回到简单原始的 ECMAScript 上了。”
用户 cspotcode问了这样一个问题:
lib.dom.d.ts
的Node.nodeType
域会升级到 discriminated unions 吗?这会不会让当前的类型变得太混乱?看上去,如果Node.nodeType
依然是一个number
的话,那么Element.nodeType
就不能是数字的字面量,因为这会违背Element
扩展Node
这一前提。Node
应该需要重写,使其成为一个 union 类型,而不是接口。
Rossenwasser 这样进行了答复:
这是完全有可能的——你可以将所有返回 Node 的地方都想象为返回新的类型,这个新类型代表了一个 union。目前,对我来言,扩展 Node 的语义是什么尚不清晰,但是如果你有什么想法的话,我们会认真倾听!你尽可以对此开一个 issue。
当问及开发人员何时可以等到 2.0 的最终版时,Rossenwasser 大致估算为“几周之后”,但是他又说不要严格以此为准。
评论