verificador de tipo

A verificação de tipo é usada para verificar um programa antes da execução. Assim, são verificados os valores e a sintaxe do tipo de dados. O principal objetivo de um sistema de tipos em uma linguagem de programação é reduzir a probabilidade de bugs em um programa devido a erros de tipo.