Pouvez-vous expliquer ce que signifie le type Nothing dans un langage de programmation?

Dans les langages de programmation comme Kotlin, le type Nothing désigne un type qui n'a pas de valeurs. Cela signifie qu'une fonction ou une expression avec le type Nothing ne retourne jamais normalement — par exemple, elle peut se terminer par une exception ou une boucle infinie.

Exemple d'utilisation :

fun fail(message: String): Nothing {
    throw IllegalArgumentException(message)
}

Ici, la fonction fail ne renverra jamais de valeur, elle lancera toujours une exception. Le type Nothing aide le compilateur à comprendre qu'après l'appel à une telle fonction, le code ne continuera pas, ce qui améliore l'analyse et la sécurité du code.