El proceso de verificar e imponer los límites impuestos por los tipos de datos –"comprobación (chequeo) de tipificación"– puede ocurrir tanto en la compilación (una comprobación estática) o en la ejecución (una comprobación dinámica).