Qual é a finalidade do tipo de dado Nothing na programação?

O tipo de dados Nothing na programação é geralmente usado para indicar a ausência de valor ou a impossibilidade de retornar um valor. Em linguagens como Kotlin, Nothing significa que uma função nunca devolve controlo ao chamador, por exemplo, ela sempre lança uma exceção ou entra em um ciclo infinito.

Exemplo de uso em Kotlin:

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

Aqui, a função fail nunca retornará um valor, portanto, o seu tipo é Nothing. Isto ajuda o compilador a entender que, após a chamada de tal função, o código não continuará.