类型安全

TypeScript 添加的静态类型系统就是为了保证类型安全的，把一些类型不兼容的错误提前到编译期间检查出来，提高代码的健壮性。

这也是为什么大型项目必然会用静态类型的语言来写。