类型检查

类型检查指验证操作接收的是否为合适的类型数据以及赋值是否合乎类型要求。最自然的方式是认为检查发生在运行时，即当涉及到具体的数据值时，即动态类型检查(即运行时检查)。编译时检查(即静态检查)通过对程序的静态分析，检查所有涉及值的使用的操作、调用和赋值，在程序运行前排除潜在的类型错误。类型检查需基于一定的环境，也就是要在一定的范围内确定类型说明与应用的正确与否，这与标识符的作用域关系密切。数据类型是程序设计语言中的一个重要概念。