类型检查

Type Checking

在编译阶段检查数据类型是否正确。