Sistemas de Tipos: os três eixos que definem como uma linguagem se comporta

Todo dado em um programa tem um tipo. Um número inteiro, um texto, um valor verdadeiro ou falso - cada um desses é um tipo diferente, e a linguagem precisa saber com qual está lidando para executar op