TypeScript 2.4

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

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

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

    1. enum Colors {
    2.     Red = "RED",
    3.     Green = "GREEN",
    4. }

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

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

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

    1. function arrayMap<T, U>(f: (x: T) => U): (a: T[]) => U[] {
    2.     return a => a.map(f);
    3. }
    5. const lengths: (a: string[]) => number[] = arrayMap(s => s.length);

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

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

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

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

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

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

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

    TypeScript 2.4在处理两个回调类型时引入了收紧机制。例如：

    1. interface Mappable<T> {
    2.     map<U>(f: (x: T) => U): Mappable<U>;
    3. }
    4. declare let a: Mappable<number>;
    7. a = b;
    8. b = a;

    在TypeScript 2.4之前，它会成功执行。 当关联map的类型时，TypeScript会双向地关联它们的类型（例如f的类型）。 当关联每个f的类型时，TypeScript也会双向地关联那些参数的类型。

    TS 2.4里关联map的类型时，TypeScript会检查是否每个参数都是回调类型，如果是的话，它会确保那些参数根据它所在的位置以抗变（contravariant）地方式进行检查。

    换句话说，TypeScript现在可以捕获上面的bug，这对某些用户来说可能是一个破坏性改动，但却是非常帮助的。

    TypeScript 2.4引入了“弱类型”的概念。 任何只包含了可选属性的类型被当作是“weak”。 比如，下面的Options类型是弱类型：

    1. interface Options {
    2.     data?: string,
    3.     timeout?: number,
    4.     maxRetries?: number,
    5. }

    在TypeScript 2.4里给弱类型赋值时，如果这个值的属性与弱类型的属性没有任何重叠属性时会得到一个错误。 比如：

    1. 确定属性存在时再声明
    2. 使用类型断言（比如opts as Options）