Em um laboratório de análises, cada amostra ganha uma etiqueta na entrada: sangue, urina, tecido. A etiqueta não é burocracia — é o que impede a centrífuga de sangue de receber uma amostra de tecido e produzir um resultado sem sentido com cara de resultado válido. Ninguém "descobre" o tipo da amostra na hora do exame; ele foi declarado na entrada e conferido em cada etapa.

Tipos em Go funcionam assim. Todo valor tem um tipo conhecido em tempo de compilação — int, float64, string, bool — e toda operação declara quais tipos aceita. Quando os tipos não batem, o programa não compila. Compare com o outro modelo: em JavaScript, "10" - 1 vale 9, mas "10" + 1 vale "101" — o interpretador adivinha uma conversão, e cada adivinhação é uma chance de o exame errado rodar sem ninguém notar. A postura de Go é a do laboratório: nada se converte sozinho. Se você quer tratar um int como float64, escreve float64(x) — e essa conversão explícita é o registro visível de que a mudança de tipo foi intencional.

O que você ganha em troca dessa cerimônia é uma categoria inteira de bugs que deixa de existir. O NaN que atravessa dez funções até explodir num relatório, o "undefined" concatenado numa URL, o campo que era número e virou string no caminho — nada disso sobrevive à compilação em Go. O compilador vira um revisor que confere cada fronteira de tipo do programa inteiro, em milissegundos, antes de qualquer execução.

Nesta aula você conhece os quatro tipos que carregam a maior parte de qualquer programa. int para números inteiros — contagens, índices e, como você vai ver nos exercícios, dinheiro em centavos. float64 para medidas com fração — mas com uma ressalva importante sobre precisão que custa dinheiro real a quem ignora. string para texto: uma sequência imutável de bytes, por convenção em UTF-8 — imutável significa que nenhuma operação altera uma string existente; operações como a concatenação que você já usou criam sempre uma string nova. E bool para true e false — e nada além deles: em Go, if 1 {} não compila, porque inteiro não é booleano nem "verdadeiroso".

Os booleanos merecem um parágrafo próprio, porque é deles que sai o fluxo de controle das próximas aulas. Valores bool nascem de três fontes: dos literais true e false, de comparações (price > 4000, name == "Maria", cents != 0) e dos operadores lógicos && (e), || (ou) e ! (não). Uma comparação em Go é uma expressão comum que produz um bool — você pode guardá-la em uma variável (isExpensive := price > 4000), passá-la para uma função ou devolvê-la de uma, exatamente como faria com um número. E as comparações também obedecem à regra dos tipos: comparar int com float64 sem conversão é o mesmo erro de compilação que somá-los.

Uma pergunta justa neste ponto: se os tipos são tão rigorosos, como um int vira texto para aparecer em uma etiqueta, e como o texto digitado por um usuário vira número? A resposta tem duas partes. Para exibição, o pacote fmt que você já usa formata qualquer tipo com os verbos %d, %s, %f — é conversão para texto, mas declarada no template, visível. Para o caminho inverso — "1990" virar 1990 — existe o pacote strconv, que devolve dois valores: o número e um erro, porque nem toda string é um número válido. Você vai encontrá-lo na aula de stdlib; por enquanto, o que importa é o princípio: a fronteira entre texto e número em Go é sempre atravessada por uma função explícita que pode falhar, nunca por coerção automática que "dá um jeito".

A regra da conversão explícita vai aparecer três vezes nos exercícios de hoje, cada vez com uma consequência diferente: uma divisão que descarta centavos, uma divisão que os preserva e uma formatação que decide entre os dois caminhos. No fim da aula, "que tipo é esse valor?" terá virado a primeira pergunta que você faz ao ler qualquer linha de Go — que é exatamente o hábito que a linguagem quer instalar.