Programlamada tür kavramının ne anlama geldiğini açıklayabilir misiniz?

Programlamada, özellikle Go dilinde, tip iddiası (type assertion), bir arayüz tipinden belirli bir tip değerini almak için kullanılan bir yöntemdir.

Go'da, arayüz tipi değişkenleri herhangi bir tipte değer içerebilir ve tip iddiası, arayüzden belirli bir tipi kontrol etmeye ve çıkarmaya olanak tanır.

Örnek:

var i interface{} = "merhaba"

s, ok := i.(string) // s "merhaba" olacak, ok — true

if ok {
    fmt.Println(s) // çıktı: merhaba
} else {
    fmt.Println("i string içermiyor")
}

Eğer tip iddiası başarısız olursa ve ikinci parametre ok kullanılmazsa, panik oluşur. Bu yüzden, güvenli bir kontrol için genellikle iki dönüş değeri ile kullanılan form tercih edilir.