Jaký je účel datového typu Nothing v programování?

Datový typ Nothing v programování se obvykle používá k označení absence hodnoty nebo nemožnosti vrátit hodnotu. V jazycích jako Kotlin znamená Nothing, že funkce nikdy nevrátí kontrolu volajícímu — například vždy vyhodí výjimku nebo je v nekonečné smyčce.

Příklad použití v Kotlin:

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

Zde funkce fail nikdy nevrátí hodnotu, takže její typ je Nothing. To pomáhá překladači pochopit, že po volání takové funkce kód nebude pokračovat.