Type Checking

Type checking é o processo de verificar se o uso dos tipos em um programa segue as regras da linguagem.