Можете ли да објасните шта подразумева тип у програмирању?

Izjava o tipu (type assertion) u programiranju, posebno u Go, je način da dobijete vrednost određenog tipa iz interfejsnog tipa.

U Go-u, promenljive interfejsnog tipa mogu sadržavati vrednosti bilo kog tipa, a izjava o tipu omogućava proveru i izvlačenje određenog tipa iz interfejsa.

Primer:

var i interface{} = "zdravo"

s, ok := i.(string) // s će biti "zdravo", ok — true

if ok {
    fmt.Println(s) // ispisuje: zdravo
} else {
    fmt.Println("i ne sadrži string")
}

Ako izjava o tipu ne uspe i ne koristi se drugi parametar ok, doći će do panike. Zbog toga se često koristi forma sa dva povratna vrednosti za sigurnu proveru.