Quali sono le sfumature dell'uso del tipo Nothing nei generici?

Il tipo Nothing in Kotlin è un tipo speciale che non ha valori ed è usato per indicare funzioni che non restituiscono mai un risultato (ad esempio, che lanciano un'eccezione o vengono eseguite in modo infinito).

Nel contesto dei generici (generics), Nothing svolge un ruolo importante:

• Viene usato come limite inferiore del tipo — Nothing è un sottotipo di tutti i tipi, quindi può essere usato per indicare che un parametro di tipo non può avere valori.
• Permette di esprimere l'assenza di valore — ad esempio, List<Nothing> è una lista che non può contenere alcun elemento.
• Viene applicato per indicare in modo sicuro l'assenza di un tipo in posizioni covarianti.

Esempio di utilizzo nei generici:

fun <T> fail(): T {
    throw RuntimeException("Failure")
}

val x: String = fail() // Il compilatore capisce che fail() restituisce `Nothing`, che è un sottotipo di String

Oppure nelle collezioni:

val emptyList: List<Nothing> = listOf()

In questo modo, Nothing aiuta il compilatore a capire che in alcuni punti non ci saranno valori, e permette di lavorare in modo sicuro con tali casi nei generici.