TypeScript 1.4 版本发布，增加了联合类型以及更多的 ES6 特性

微软发布了TypeScript 1.4版本，即他们这个 JavaScript 超集的最新版本。除了支持新的 TypeScript 特性比如联合类型之外，他们还提供了编译到 ECMAScript 6 的目标模式。

一个期望值很高的特性就是联合类型。通常在 JavaScript 代码中，会在运行时动态检查函数参数来决定其行为。TypeScript 的联合类型为这些场景提供了更好的类型检查机制。下面是官方声明中提供的例子：

function f(x: number | number[]) {
  if (typeof x === "number") {
    return x + 10;
  }
  else {
    // return sum of numbers
  }
}

其中参数 x 就是一个联合类型，可以为 number 或者 number 数组。代码中能够使用 typeof 来检查类型，从而根据不同结果执行不同的操作。Facebook 的 JavaScript 静态类型检查框架Flow也提供了类似的类型检查机制。

DefinitelyTyped 项目的贡献者 John Reilly 比较并展示了 angular-route.d.ts在 TypeScript1.4 前后的区别，他说：

虽然在 TypeScript 1.4 之前能够重载函数，但是并不能重载接口成员。这意味着要为这些属性建模就必须找到适合所有场景的最佳通用类型。这也就总意味着没有类型。这种方案虽然可行但无法为消费代码（Consuming Code）带来很好的类型安全性。

1.4 版本也支持了 ES6 的 let 和 const 特性，不过它们只能在编译成 ES6 目标时使用。微软希望在未来的更新中以 ES5 为编译目标时也能支持此特性。能够编译成 ES5 的一个新 ES6 特性是基础字符串模板，它使用回勾号（键盘左上角数字 1 左边按键的字符）来定义这样的模板：

var width = 640;
var height = 480;

var areaDisplay = `The pixel count is ${width * height}`;

不过标签模板字符串（Tagged Template String）只有在以 ES6 为编译目标时才能被支持。

微软已经谈到 TypeScript 2.0 的目标是“完全支持 ECMAScript 6 标准”。版本 1.4 是一个重要的更新，但是后面还有很多事情要做。根据Kangax ES6 兼容表，TypeScript8% 的兼容比例在竞争中明显落后。不过，TypeScript 的目标不仅仅是 ES6 兼容性，它并不是像6to5那样做一个单纯的 ES6 转换器而是另有其它目的。

展望今后，TypeScript 的路线图表明下个版本（1.5）将会支持 for..of 和解构（destructuring）。

TypeScript 1.4 目前已经可以在 Visual Studio 2015 CTP5, Visual Studio 2013, NPM, 以及TypeScript Playground中使用。

查看英文原文：TypeScript 1.4 Released, Adds Union Types, More ES6 Features

感谢郭蕾对本文的审校。

给 InfoQ 中文站投稿或者参与内容翻译工作，请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博（@InfoQ）或者腾讯微博（@InfoQ）关注我们，并与我们的编辑和其他读者朋友交流。