Ați putea explica ce înseamnă tipul în programare?

Afirmarea de tip (type assertion) în programare, în special în Go, este o modalitate de a obține valoarea unui tip specific dintr-un tip de interfață.

În Go, variabilele de tip interfață pot conține valori de orice tip, iar afirmarea de tip permite verificarea și extragerea unui tip specific din interfață.

Exemplu:

var i interface{} = "salut"

s, ok := i.(string) // s va fi "salut", ok — true

if ok {
    fmt.Println(s) // afișează: salut
} else {
    fmt.Println("i nu conține un string")
}

Dacă afirmarea de tip eșuează și nu se folosește al doilea parametru ok, va avea loc o panică. De aceea, adesea se folosește forma cu două valori de întoarcere pentru verificare sigură.