类型检查

在编译期静态验证程序中的类型约束与一致性，提前发现类型错误