verificador de tipo

La verificación de tipo se utiliza para comprobar un programa antes de la ejecución. Verifica los valores y la sintaxis de los tipos de datos. La finalidad principal de un sistema de tipos en un lenguaje de programación es reducir la probabilidad de errores en los programas de computación debidos a errores de tipo.