Можете ли да обясните какво се разбира под тип в програмирането?

Твърдението за тип (type assertion) в програмирането, особено в Go, е начин да получите стойността на конкретен тип от интерфейсен тип.

В Go, променливите от интерфесен тип могат да съдържат стойности от всеки тип, а твърдението за тип позволява да проверите и извлечете конкретен тип от интерфейса.

Пример:

var i interface{} = "здравей"

s, ok := i.(string) // s ще бъде "здравей", ok — true

if ok {
    fmt.Println(s) // извежда: здравей
} else {
    fmt.Println("i не съдържа string")
}

Ако твърдението за тип не успее и не се използва вторият параметър ok, ще настъпи паника. Затова често се използва формата с две стойности за безопасна проверка.