Aký je účel dátového typu Nothing v programovaní?

Typ údajov Nothing v programovaní sa zvyčajne používa na označenie neprítomnosti hodnoty alebo nemožnosti vrátenia hodnoty. V jazykoch ako Kotlin znamená Nothing, že funkcia nikdy nevráti kontrolu volajúcemu — napríklad, vždy vyhodí výnimku alebo je v nekonečnom cykle.

Príklad použitia v Kotlin:

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

Tu funkcia fail nikdy nevráti hodnotu, preto je jej typ Nothing. To pomáha prekladaču pochopiť, že po volaní takejto funkcie kód nebude pokračovať.