概述
typescript是微软推出的一门扩展js脚本语言，现在由微软和google在推，google的angular.js的2.0版本以typescript为基础，所以这门语言应该是靠谱的。早期我也经常用node.js, node-webkit，都是用js写，但是里面的各种蛋疼语法挺烦人的，特别是读别人的代码，一坨坨回调，一坨坨函数域变量，头疼。以前typespcript推的时候，因为本能对微软技术的排斥，一直都没细看，这两天因为要用angular.js，才正儿八经地看了一遍documentation，发现这个语言挺强大的，规避了js中蛋疼的语法，加入了很多现代语言的强大特性，值得好好学习，也许未来的EMScript标准会以typescript为参考。
基本语法
基本语法提供了很多语法糖，比如块作用域，any类型等
- enum类型。
enum Color{Red, Green, Blue};
let c: Color = Color.Red;
- Any类型
let notSure: any = 4;
notSure.ifItExists();
notSure.toFixed();
- const和let。const用于定义常量，let用于定义具有块作用域的变量。完全规避了js中用var的奇怪语法
- 赋值语句的语法糖
let o = {a: "foo", b: 12, c:"bar"};
let {a, b} = o; // 表示将o的a，b属性的值赋值给变量a，b
接口(interface)
接口类型具有强大的功能，它支持值、函数、索引、类等多重接口，典型的用法如：
interface LabelledValue { label: string; } function printLabel(labelledObj: LabelledValue) { console.log(labelledObj.label); } let myObj = {size: 10, label: "Size 10 Object"}; printLabel(myObj);
接口还支持optional选项，向苹果的swift学习
interface SquareConfig { color?: string; width?: number; }
函数接口，这个就是向java学习了
interface SearchFunc { (source: string, subString: string): boolean; } let mySearch: SearchFunc; mySearch = function(src: string, sub: string): boolean { let result = src.search(sub); if (result == -1) { return false; } else { return true; } }
类(class)
typescript中的类包括了几乎所有的现代语言特性，典型的用法与C++极度相似，支持private, public, protected，继承，抽象类，多态。唯一不同的是：默认的访问方式是public。构造函数涉及的关键字：constructor, super,this, static(类静态数据成员，属于类而不属于某个对象)，extends.
类中函数的参数如果带public, private, protected,则其默认为类的数据成员，其访问方式与C++一致。
函数（function）
通常情况下，我们严格按照C++/Java里面的function写代码，不会出问题。这也是我赞成的一种写法。当然，typescript中也默认支持默认参数、缺省参数以及...参数。
这里需要强调的是this用法，在我们分不清楚this代表谁时，如果需要this代表关联的对象，最好利用typescript里面的箭头语法定义函数。
范型(Generic)
documentation中的范型没有太多的解释，其用法与C++中的范型极度相似，并且引入了java中的范型约束，这一点在使用时极为方便，而且，范型支持接口范型、类范型、函数范型。我们用得最多的可能是函数范型，通常情况下也是实现相对通用的功能。
类型推导（type inference）
类型推导是ts提供的功能，当一个值是原子变量如number, string等类型时，系统运行时很容易推导，而当类型是自定义对象时，如果多个变量类型具有公共的抽象类型时，其转换也比较自然。
类型兼容性(type compatibility)
typescript中的类型兼容性是基于结构子类型的。
- 两个变量赋值时，如a = b,检查a中的所有属性，在b中是否存在，如果存在，则可以赋值，否则报错。
- 两个函数赋值时，则要看参数和返回值.
let x = (a: number) => 0; let y = (b: number, s: string) => 0; y = x; // OK x = y; // Error
let x = () => ({name: "Alice"}); let y = () => ({name: "Alice", location: "Seattle"}); x = y; // OK y = x; // Error because x() lacks a location property
- 数字类型与enum是兼容的，但是不同的enum之间是不兼容的
- 类与对象差不多，但是类有静态变量和实例部分。比较两个类型对象时，只有实例成员会比较，静态函数和构造函数不在比较范围之内。
`class Animal {
feet: number;
constructor(name: string, numFeet: number) { }
}
class Size { feet: number; constructor(numFeet: number) { }
}
let a: Animal;
let s: Size;
a = s; //OK
s = a; //OK`
高级类型
高级类型是其它语言里所不支持的，其提供的方法很人性化，特别适合一个场景：我们知道一个对象的可能的类型范围，但是不明确何时传来何种类型（与any不通），在C++/Java里面可能用一个父类来支持，但是可能存在过度设计的问题，typescript可能为后来的语言提供了一个参考。
Symbol
与其它原生类型一致，最新标准引入。symbol不可改变且唯一，有点类似于唯一ID
参考：http://www.typescriptlang.org/docs/handbook/basic-types.html
