Typing Estático

Typing estático é o modelo em que os tipos são verificados principalmente em tempo de compilação.