tipagem estática