TypeScript 2.4

    TypeScript 2.4引入了“弱类型（weak type）”的概念。 若一个类型只包含可选的属性，那么它就被认为是弱（weak）的。 例如，下面的类型就是一个弱类型：

    TypeScript 2.4，当给一个弱类型赋值，但是它们之前没有共同的属性，那么就会报错。 例如：

    1. function sendMessage(options: Options) {
    2.     // ...
    3. }
    5. const opts = {
    6.     payload: "hello world!",
    7. }
    9. // 错误！
    10. sendMessage(opts);
    11. // 'opts'与'Options'之间没有共同的属性
    12. // 你是否想用'data'/'maxRetries'来替换'payload'/'retryOnFail'

    推荐做法

    1. 仅声明那些确定存在的属性。
    2. 给弱类型添加索引签名（如：[propName: string]: {}）
    3. 使用类型断言（如：opts as Options）

    TypeScript现在可从上下文类型中推断出一个调用的返回值类型。 这意味着一些代码现在会适当地报错。 下面是一个例子：

    2.     resolve(10);
    3.     //      ~~ 错误! 'number'类型不能赋值给'string'类型
    4. });

    TypeScript对回调函数参数的检测将与立即签名检测协变。 之前是双变的，这会导致有时候错误的类型也能通过检测。 根本上讲，这意味着回调函数参数和包含回调的类会被更细致地检查，因此Typescript会要求更严格的类型。 这在Promises和Observables上是十分明显的。

    TypeScript无法在调用new Promise时推断类型参数T的值。 因此，它仅推断为Promise<{}>。 不幸的是，它会允许你这样写c(12)和c('foo')，就算p的声明明确指出它应该是Promise<number>。

    在新的规则下，Promise<{}>不能够赋值给Promise<number>，因为它破坏了Promise的回调函数。 TypeScript仍无法推断类型参数，所以你只能通过传递类型参数来解决这个问题：

    1. //                                  ^^^^^^^^ 明确的类型参数

    它能够帮助从promise代码体里发现错误。 现在，如果你错误地调用c('foo')，你就会得到一个错误提示:

    2. //                                                         ~~~~~
    3. //  参数类型 '"foo"' 不能赋值给 'number'

    （嵌套）回调

    其它类型的回调也会被这个改进所影响，其中主要是嵌套的回调。 下面是一个接收回调函数的函数，回调函数又接收嵌套的回调。 嵌套的回调现在会以协变的方式检查。

    修复这个问题很容易。给嵌套的回调传入缺失的参数：

    1. f((nested: (error: number, result: any) => void) => { });
    1. type A = <T, U>(x: T, y: U) => [T, U];
    2. type B = <S>(x: S, y: S) => [S, S];
    4. function f(a: A, b: B) {
    5.     a = b;  // Error
    6.     b = a;  // Ok
    7. }

    推荐做法

    或者修改定义或者使用--noStrictGenericChecks。

    在TypeScript之前，下面例子中

    y的类型将是any。 这意味着，程序虽会进行类型检查，但是你可以在y上做任何事，比如：

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

    推荐做法: