TypeScript Type Innference(类型判断)
TypeScript是微软开发的JavaScript的超集，TypeScript兼容JavaScript，可以载入JavaScript代码然后运行。TypeScript与JavaScript相比进步的地方包括：加入注释，让编译器理解所支持的对象和函数，编译器会移除注释，不会增加开销；增加一个完整的类结构，使之更新是传统的面向对象语言。
为什么会有TypeScript?
JavaScript只是一个脚本语言，并非设计用于开发大型Web应用，JavaScript没有提供类和模块的概念，而TypeScript扩展了JavaScript实现了这些特性。TypeScript主要特点包括：
TypeScript是微软推出的开源语言，使用Apache授权协议
TypeScript是JavaScript的超集.
TypeScript增加了可选类型、类和模块
TypeScript可编译成可读的、标准的JavaScript
TypeScript支持开发大规模JavaScript应用
TypeScript设计用于开发大型应用，并保证编译后的JavaScript代码兼容性
TypeScript扩展了JavaScript的语法，因此已有的JavaScript代码可直接与TypeScript一起运行无需更改
TypeScript文件扩展名是ts，而TypeScript编译器会编译成js文件
TypeScript语法与JScript.NET相同
TypeScript易学易于理解
语法特性
类Classes
接口Interfaces
模块Modules
类型注解Typeannotations
编译时类型检查Compiletimetypechecking
Arrow函数(类似C#的Lambda表达式)
JavaScript的TypeScript的区别
TypeScript是JavaScript的超集，扩展了JavaScript的语法，因此现有的JavaScript代码可与TypeScript一起工作无需任何修改，TypeScript通过类型注解提供编译时的静态类型检查。TypeScript可处理已有的JavaScript代码，并只对其中的
TypeScript代码进行编译。
在这一节，我们将介绍TypeScript中的类型推断。我们将会讨论类型推断需要在何处用到以及如何推断。
基础
在TypeScript中，在几个没有明确指定类型注释的地方将会使用类型推断来提供类型信息。
varx=3;
变量"x"的值被推断为number。这种推断发生在变量或者成员初始化、设置参数默认值、决定函数返回类型的时候。
最佳公共类型
当需要从多个表达式中进行类型推断的时候，这些表达式的类型将会用来推断出一个"最佳公共类型"。例如：
varx=[0,1,null];
要想推断出什么例子中"x"的类型，我们需要考虑每个数组元素的类型。这里，我们给出了两个数组类型的选择：number和null。最佳公共类型算法要求考虑到所有候选的类型，并选择出与所有候选类型兼容的类型。(这里的类型可为Array<number>)
由于最佳公共类型是从提供的候选类型中选择的，有些情况下，候选类型共享一个共同类型，但没有任何一个类型是所有候选类型的父类型。例如：
classAnimal{
name:string;
constructor(theName:string){this.name=theName;}
}
classSnakeextendsAnimal{
constructor(name:string){super(name);}
}
classElephantextendsAnimal{
constructor(name:string){super(name);}
}
classRhinoextendsAnimal{
constructor(name:string){super(name);}
}
varzoo=[newRhino(),newElephant(),newSnake()];//这里三个成员的类型分别为：Rhino、Elephant、Snake他们是最佳公共类型的候选类型，Animal是他们的supertype(译为父类型)
理想情况下，我们可能希望zoo被推断为Animal[]类型，但是因为数组中没有任何对象是严格的Animal类型，我们便不能做出推断。为了解决这个问题，当不能推断出所有候选类型的父类型的时候，我们需要明确的提供类型。
varzoo:Animal[]=[newRhino(),newElephant(),newSnake()];
当没有最佳公共类型的时候，推断的结果是产生一个空对象，{}。因为这个类型不含任何成员，对于其任何属性的访问都会导致错误。这种结果依然允许我们在忽略类型的方式中使用对象，但在保障类型安全的前提下，该对象的类型不能被隐式的确定。
上下文(语境)类型
在TypeScript中，类型推断在某些情况下也存在于"其他方面"。这被称为"上下文归类"。上下文归类发生在当一个表达式的类型在其所在的上下文中被隐式的指定的时候。例如：
window.onmousedown=function(mouseEvent){
console.log(mouseEvent.buton);//<-编译时抛出错误
};
上面的代码将会给出一个类型错误，TypeScript的类型检查器使用Window.onmousedown函数的类型来推断右边的函数表达式类型。当它这么做的时候，便能够推断出参数mouseEvent的类型。如果这个表达式不在可进行上下文归类的位置，参数mouseEvent需要给定一个any类型，这样就不会出现错误了。
如果需要上下文归类的表达式内容中包含明确的类型信息，则会忽略上下文归类。我们重写上面的例子：
window.onmousedown=function(mouseEvent:any){
console.log(mouseEvent.buton);//<-现在不会报错了
};
参数明确指定类型的函数表达式将会忽略上下文归类。经过这样的处理就不会报错了，因为没有应用到上下文归类。
上下文归类可应用于许多场景。常见的场景包括函数调用的参数、赋值的等号右边表达式、类型确定、对象成员和数组字面量、返回值语句。上下文类型也作为最佳公共类型的候选类型。例如：
functioncreateZoo():Animal[]{
return[newRhino(),newElephant(),newSnake()];
}
在这个例子中，最佳公共类型有四个候选类型：Animal,Rhino,Elephant,和Snake。其中，Animal可以作为最佳公共类型。
形式有点像数学中的求最小公倍数...