type checker

TypeScript带来了可选的静态类型检查以及最新的ECMAScript特性。