Proqramlaşdırmada növ anlayışının nə olduğunu izah edə bilərsinizmi?

Proqramlaşdırmada, xüsusən də Go dilində, tip iddiası (type assertion) interfeys tipindən müəyyən bir tip dəyərini almağın bir yoludur.

Go-da, interfeys tipində dəyişənlər hər hansı bir tipdə dəyər saxlaya bilər və tip iddiası interfeysdən müəyyən bir tipi yoxlamağa və çıxarmağa imkan verir.

Nümunə:

var i interface{} = "salam"

s, ok := i.(string) // s "salam" olacaq, ok — true

if ok {
    fmt.Println(s) // çıxış: salam
} else {
    fmt.Println("i string deyil")
}

Əgər tip iddiası uğursuz olarsa və ikinci parametr ok istifadə olunmazsa, panik baş verir. Buna görə, təhlükəsiz yoxlama üçün adətən iki dəyər ilə istifadə olunan forma seçilir.