Variáveis, tipos e o que fica guardado

Uma variável é um nome que aponta para um valor guardado na memória. Você usa o nome, e o programa vai buscar o valor. O nome é para você; o computador só se importa com o endereço. O tipo diz que espécie de valor é aquele — número inteiro, texto, verdadeiro/falso — e determina quais operações fazem sentido sobre ele.

Sem variáveis, você teria que escrever valores fixos em todo lugar, e um programa só serviria para uma entrada específica. Dar nome ao valor é o que permite escrever preco * quantidade uma vez e usar com qualquer preço e qualquer quantidade.

Tipos existem porque a mesma sequência de bits significa coisas diferentes conforme a interpretação — e porque somar dois números e "somar" dois textos são operações distintas. Sem tipo, "5" + 3 não teria resposta definida: seria 8, ou seria "53"? Cada linguagem decide isso de um jeito, e as decisões variam bastante.

Uma variável é como uma etiqueta numa gaveta. A etiqueta diz "contas a pagar"; o conteúdo é o que está dentro. Você pode trocar o conteúdo sem trocar a etiqueta — e é isso que faz total = total + item funcionar.

O tipo é o combinado sobre o que aquela gaveta guarda. Uma gaveta de documentos e uma de ferramentas aceitam operações diferentes: você arquiva documento em ordem alfabética, e isso não faz sentido com chave de fenda. Linguagem de tipagem forte é o armário que recusa quando você tenta arquivar a chave de fenda; a de tipagem fraca aceita e improvisa.

Erro de tipo é uma das causas mais comuns de bug em produção, especialmente com dados vindos de fora: tudo que chega de formulário, de arquivo ou de API chega como texto. O campo "idade" preenchido com "30" comparado com o número 30 pode dar falso dependendo da linguagem. É por isso que sistemas sérios validam e convertem tipos logo na entrada, e por isso TypeScript ganhou tanto espaço sobre JavaScript.