Mohol by ste vysvetliť, čo sa rozumie pod pojmom typ v programovaní?

Vyhlásenie typu (type assertion) v programovaní, najmä v Go, je spôsob, ako získať hodnotu konkrétneho typu z rozhraného typu.

V Go môžu premenné rozhraného typu obsahovať hodnoty akéhokoľvek typu a vyhlásenie typu umožňuje overiť a extrahovať konkrétny typ z rozhrania.

Príklad:

var i interface{} = "ahoj"

s, ok := i.(string) // s bude "ahoj", ok — true

if ok {
    fmt.Println(s) // vypíše: ahoj
} else {
    fmt.Println("i neobsahuje string")
}

Ak vyhlásenie typu zlyhá a neje použitý druhý parameter ok, dôjde k panike. Preto sa často používa forma so dvomi návratovými hodnotami pre bezpečnú kontrolu.