类型推断

关于TypeScript类型的一个常见误解是代码需要在每个可能的机会上显式地描述类型。幸运的是这不是这样。TypeScript有一个丰富的类型推理系统，将为程序员“填空”。考虑以下：
type-in​​ference-found-error.ts

  1. let numbers = [2, 3, 5, 7, 11];
  2. numbers = ['this will generate a type error'];
  1. tsc ./type-inference-finds-error.ts 
  2. type-inference-finds-error.ts(2,1): error TS2322: Type 'string[]' is not assignable to type 'number[]'.
  3. Type 'string' is not assignable to type 'number'.

代码不包含额外的类型信息。事实上，它是有效的ES6。
如果var已经使用，这将是有效的ES5。然而TypeScript仍然能够确定类型信息。
类型推理也可以通过上下文工作，这是回调方便。考虑以下：

type-inference-finds-error-2.ts

  1. interface FakeEvent {
  2.   type: string;
  3. }
  5. interface FakeEventHandler {
  6.   (e: FakeEvent): void; 
  7. }
  9. class FakeWindow {
  10.   onMouseDown: FakeEventHandler
  11. }
  12. const fakeWindow = new FakeWindow();
  14. fakeWindow.onMouseDown = (a: number) => {
  15.   // this will fail
  16. };
  17. tsc ./type-inference-finds-error-2.ts 
  18. type-inference-finds-error-2.ts(14,1): error TS2322: Type '(a: number) => void' is not assignable to type 'FakeEventHandler'.
  19.   Types of parameters 'a' and 'e' are incompatible.
  20.     Type 'number' is not assignable to type 'FakeEvent'.
  21.       Property 'type' is missing in type 'Number'.

在此示例中，上下文不明显，因为接口已被明确定义。在浏览器环境中与真正的window对象，这将是一个方便的功能，特别是类型完成Event 对象。