Poderia explicar o que se entende por tipo na programação?

A afirmação de tipo (type assertion) em programação, especialmente em Go, é uma forma de obter o valor de um tipo específico a partir de um tipo de interface.

Em Go, variáveis de tipo interface podem conter valores de qualquer tipo, e a afirmação de tipo permite verificar e extrair um tipo específico da interface.

Exemplo:

var i interface{} = "olá"

s, ok := i.(string) // s será "olá", ok — true

if ok {
    fmt.Println(s) // imprime: olá
} else {
    fmt.Println("i não contém uma string")
}

Se a afirmação de tipo falhar e o segundo parâmetro ok não for usado, ocorrerá um pânico. Por isso, muitas vezes usa-se a forma com dois valores de retorno para uma verificação segura.