Kunt u uitleggen wat er wordt bedoeld met type in programmeren?

Type assertion (type assertion) in programmeren, vooral in Go, is een manier om de waarde van een specifiek type uit een interface-achtig type te halen.

In Go kunnen variabelen van het interface-achtige type waarden van elk type bevatten, en de type assertion maakt het mogelijk om een specifiek type te controleren en eruit te halen.

Voorbeeld:

var i interface{} = "hallo"

s, ok := i.(string) // s wordt "hallo", ok — true

if ok {
    fmt.Println(s) // toont: hallo
} else {
    fmt.Println("i bevat geen string")
}

Als de type assertion mislukt en de tweede parameter ok niet wordt gebruikt, zal er een panic optreden. Daarom wordt vaak de vorm met twee return-waarden gebruikt voor een veilige controle.