TypeScript 2.4

动态导入表达式

动态的import表达式是一个新特性，它属于ECMAScript的一部分，允许用户在程序的任何位置异步地请求某个模块。

这意味着你可以有条件地延迟加载其它模块和库。
例如下面这个async函数，它仅在需要的时候才导入工具库：

async function getZipFile(name: string, files: File[]): Promise {
    const zipUtil = await import('./utils/create-zip-file');
    const zipContents = await zipUtil.getContentAsBlob(files);
    return new File(zipContents, name);
}

许多bundlers工具已经支持依照这些import表达式自动地分割输出，因此可以考虑使用这个新特性并把输出模块目标设置为esnext。

字符串枚举

TypeScript 2.4现在支持枚举成员变量包含字符串构造器。

enum Colors {
    Red = "RED",
    Green = "GREEN",
    Blue = "BLUE",
}

需要注意的是字符串枚举成员不能被反向映射到枚举成员的名字。
换句话说，你不能使用Colors["RED"]来得到"Red"。

增强的泛型推断

TypeScript 2.4围绕着泛型的推断方式引入了一些很棒的改变。

返回类型作为推断目标

其一，TypeScript能够推断调用的返回值类型。
这可以优化你的体验和方便捕获错误。
如下所示：

function arrayMap(f: (x: T) => U): (a: T[]) => U[] {
    return a => a.map(f);
}

const lengths: (a: string[]) => number[] = arrayMap(s => s.length);

下面是一个你可能会见到的出错了的例子：

let x: Promise = new Promise(resolve => {
    resolve(10);
    //      ~~ Error!
});

从上下文类型中推断类型参数

在TypeScript 2.4之前，在下面的例子里：

let f: (x: T) => T = y => y;

y将会具有any类型。
这意味着虽然程序会检查类型，但是你却可以使用y做任何事情，就比如：

let f: (x: T) => T = y => y() + y.foo.bar;

这个例子实际上并不是类型安全的。

在TypeScript 2.4里，右手边的函数会隐式地获得类型参数，并且y的类型会被推断为那个类型参数的类型。

如果你使用y的方式是这个类型参数所不支持的，那么你会得到一个错误。
在这个例子里，T的约束是{}（隐式地），所以在最后一个例子里会出错。

对泛型函数进行更严格的检查

TypeScript在比较两个单一签名的类型时会尝试统一类型参数。
因此，在涉及到两个泛型签名的时候会进行更严格的检查，这就可能发现一些bugs。

type A = (x: T, y: U) => [T, U];
type B = (x: S, y: S) => [S, S];

function f(a: A, b: B) {
    a = b;  // Error
    b = a;  // Ok
}

interface Mappable {
    map(f: (x: T) => U): Mappable;
}

declare let a: Mappable;
declare let b: Mappable;

a = b;
b = a;

interface Options {
    data?: string,
    timeout?: number,
    maxRetries?: number,
}

function sendMessage(options: Options) {
    // ...
}

const opts = {
    payload: "hello world!",
    retryOnFail: true,
}

// 错误!
sendMessage(opts);
// 'opts' 和 'Options' 没有重叠的属性
// 可能我们想要用'data'/'maxRetries'来代替'payload'/'retryOnFail'