# type checking

> analysis and verification of data types in the source code of a computer program

**Wikidata**: [Q4001197](https://www.wikidata.org/wiki/Q4001197)  
**Source**: https://4ort.xyz/entity/type-checking