¿Podría explicar qué se entiende por tipo en programación?

La afirmación de tipo (type assertion) en programación, en particular en Go, es una forma de obtener el valor de un tipo específico a partir de un tipo de interfaz.

En Go, las variables de tipo interfaz pueden contener valores de cualquier tipo, y la afirmación de tipo permite verificar y extraer un tipo específico de la interfaz.

Ejemplo:

var i interface{} = "hola"

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

if ok {
    fmt.Println(s) // muestra: hola
} else {
    fmt.Println("i no contiene un string")
}

Si la afirmación de tipo falla y no se usa el segundo parámetro ok, se producirá un pánico. Por eso, a menudo se usa la forma con dos valores de retorno para una verificación segura.