5

相关链接

TypeScript 2.0 正式版已经发布了:〔译〕TypeScript 2.0 正式版发布
不过可能大家更关心的是 〔译〕TypeScript 2.0 的新特性


原文: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 程序员们一定会非常高兴。这个特性也叫 可识别联合互斥联合代理类型。不过特性本身显然比名称更有意思。

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

interface Circle {
    kind: "circle";
    radius: number;
}

interface Square {
    kind: "square";
    sideLength: number;
}

type Shape = Circle | Square;

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

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

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;
    }
}

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

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

function getArea(shape: Shape) {
    switch (shape.kind) {
        case "circle":
            // 这里 'shape' 是 'Circle'
            return Math.PI * shape.radius ** 2;

        case "square":
            // 这里 'shape' 是 'Square'
            return shape.sideLength ** 2;
    }
}

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

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

更多字面类型

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

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

type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;
let nums: Digit[] = [1, 2, 4, 8];

// 错误! '16' 不是 'Digit'!
nums.push(16);

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

interface Success<T> {
    success: true;
    value: T;
}

interface Failure {
    success: false;
    reason: string;
}

type Result<T> = Success<T> | Failure;

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

declare function tryGetNumUsers(): Result<number>;

let result = tryGetNumUsers();
if (result.success === true) {
    // 'result' 是 'Success<number>' 类型的
    console.log(`Server reported ${result.value} users`);
}
else {
    // 'result'是 'Failure' 类型的
    console.error("Error fetching number of users!", result.reason);
}

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

enum ActionType { Append, Erase }

interface AppendAction { 
    type: ActionType.Append;
    text: string;
}

interface EraseAction {
    type: ActionType.Erase;
    numChars: number;
}

function updateText(currentText: string, action: AppendAction | EraseAction) {
    if (action.type === ActionType.Append) {
        // 'action' has type 'AppendAction'
        return currentText + action.text;
    }
    else {
        // 'action' has type 'EraseAction'
        return currentText.slice(0, -action.numChars);
    }
}

Globs语法、包含和排除

译者注

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

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

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

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

{
    "include": [
        "./src/**/*.ts"
    ],
    "exclude": [
        "./src/tests/**"
    ]
}

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

  • * 匹配 0 个或多个字符,分隔符(比如 /\)除外
  • ? 精确匹配 1 个字符,分隔符除外
  • **/ 匹配任意层子目录

接下来的事

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

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


边城
59.3k 声望29.2k 粉丝

一路从后端走来,终于走在了前端!