Pourriez-vous expliquer ce que l'on entend par type en programmation?

L’affirmation de type (assertion de type) en programmation, en particulier en Go, est une façon d’obtenir la valeur d’un type spécifique à partir d’un type d’interface.

En Go, les variables de type interface peuvent contenir des valeurs de n’importe quel type, et l’affirmation de type permet de vérifier et d’extraire un type spécifique de l’interface.

Exemple:

var i interface{} = "bonjour"

s, ok := i.(string) // s sera "bonjour", ok — true

if ok {
    fmt.Println(s) // affiche: bonjour
} else {
    fmt.Println("i ne contient pas une chaîne")
}

Si l’affirmation de type échoue et que le second paramètre ok n’est pas utilisé, cela provoquera une panique. C’est pourquoi on utilise souvent la forme avec deux valeurs de retour pour une vérification sûre.