类型检查是验证程序中类型约束是否正确的过程。类型检查既可以在程序编译时进行，即静态类型检查；也可以在程序运行时进行，即动态类型检查。TypeScript支持静态类型检查，JavaScript支持动态类型检查。
为了满足不同用户的需求，TypeScript提供了两种静态类型检查模式：
▪非严格类型检查（默认方式）。
▪严格类型检查。
