comprobador de tipos

La comprobación de tipos se utiliza para comprobar un programa antes de su ejecución. Esto verifica los valores y la sintaxis del tipo de datos. El objetivo principal de un sistema de tipos en un lenguaje de programación es reducir la probabilidad de que se produzcan fallos en un programa debido a errores de tipo.