Wat is het doel van het gegevenstype Nothing in programmeren?

Het gegevenstype Nothing in programmeren wordt meestal gebruikt om het ontbreken van een waarde of de onmogelijkheid om een waarde terug te geven aan te duiden. In talen zoals Kotlin betekent Nothing dat een functie nooit controle teruggeeft aan de aanroeper — bijvoorbeeld, het gooit altijd een uitzondering of bevindt zich in een oneindige lus.

Voorbeeld van gebruik in Kotlin:

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

Hier geeft de functie fail nooit een waarde terug, dus is haar type Nothing. Dit helpt de compiler te begrijpen dat na het aanroepen van zo'n functie de code niet wordt voortgezet.